Formal
Latest Past Events
How to Reduce Thousands of False Errors in 15 Minutes
Analyzing electrical errors across an IP or a SoC at top level, can be a painful and long process, often requiring extensive setup time and hundred of hours to distinguish real issues from false positives. To address this challenge, Aniah developed OneCheck, a formal analysis tool capable of detecting 100% of electrical errors at the… How to Reduce Thousands of False Errors in 15 Minutes
Verification Academy Live: Huntsville
Siemens Training Center 360E Quality Circle, Suite 500, HuntsvilleSiemens Training Center 360E Quality Circle, Suite 500 Huntsville, AL 35806 +1 (256) 705-2501 This event is in-person only -- there is no support for remote participation. Agenda 9:30 – 10:00 Registration and Check-in Coffee and networking with your peers. 10:00 – 10:05 Welcome / Intro Todd Holbrook | Sr. Application Engineering Manager, Functional Verification… Verification Academy Live: Huntsville
Verification Academy Live: Westford (Boston Area)
Westford Regency Inn and Conference Center 219 Littleton Rd, WestfordWestford Regency Inn and Conference Center 219 Littleton Rd Westford, MA 01886 +1 (978) 692-8200 This event is in-person only -- there is no support for remote participation. Agenda 9:30 – 10:00 Registration and Check-in Coffee and networking with your peers. 10:00 – 10:05 Welcome / Intro Todd Holbrook | Sr. Application Engineering Manager, Functional… Verification Academy Live: Westford (Boston Area)