Formal
Events
-
-
Verification Day 2021
This virtual event provides an opportunity to stay informed about the latest innovations, techniques and methodologies in verification hardware and software. This 2-day event will share experiences and insights from users solving tough verification challenges using Synopsys solutions. This year’s event will have a special focus on technology trends and case studies spanning simulation, static,…
-
-
Forum on Specification and Design Languages
LIT Open Innovation Center Altenberger Str. 69, Linz, AustriaFDL is a well-established international forum to exchange experiences and promote new trends in the application of languages, their associated design methods, and tools for the design of electronic systems. FDL stimulates scientific and controversial discussions within and in-between scientific topics as described below. The program structure includes research working sessions, embedded tutorials, panels, and…
-
-
Microelectronics Design Security: Better with Formal Methods
Whether you are developing Systems-on-Chip (SoCs) for mobile and wearables, automotive, aerospace, defense, data centers, or entertainment, securing your proprietary data and customers’ information is critical to your company’s long-term success. Hackers can exploit vulnerabilities in these systems — at the network, system, device, or chip levels. As SoC designs get more complex, this 30-minute…
-
-
Verification Academy Live: San Diego
Siemens Digital Industries Software 12348 High Bluff Drive, Suite 250, San Diego, CA, United StatesSiemens Digital Industries Software 12348 High Bluff Drive, Suite 250 San Diego, CA 92130 +1 (512) 221-7460 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 Mel Pratt | Sr. Application Engineering…
-
-
Verification Academy Live: Westford (Boston Area)
Westford Regency Inn and Conference Center 219 Littleton Rd, Westford, MA, United StatesWestford 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: Huntsville
Siemens Training Center 360E Quality Circle, Suite 500, Huntsville, AL, United StatesSiemens 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…
-
-
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…