Equivalence Checking for FPGA
Systematic design errors introduced by automated design refinement tools, such as synthesis, can be hard to detect, not to mention damaging if they make it into the final device. Formal equivalence checking has been used for ASIC design flows for many years. As FPGAs become bigger, critical system components exhaustively verifying the functional equivalence of register transfer level (RTL) code to synthesized netlists and the final placed-and-routed FPGA designs is mandatory. FPGA implementation verification can accelerate design flow, reduce testing in the lab, enable aggressive optimization usage, and dramatically reduce post-production risks.
The session will:
- outline the differences between formal verification and simulation in the context of equivalence checking
- define the verification challenges for sequential optimizations
- discuss the advantages of a step netlist verification approach and related applications
- present further related tasks that can be targeted using an equivalence checking verification flow
Join Vlada Kalinic, Product Specialist of EC-FPGA at OneSpin, A Siemens EDA business, for this 30 minute technical session. The presentation will be followed by live Q&A.
What You Will Learn:
- The need of equivalence checking for FPGAs
- Methodologies to apply equivalence checking
- The advantages and challenges of stepwise netlist verification
Who Should Attend:
- Design & Verification Engineers & Manager
Live webinar: EDM Design: Equivalence Checking for FPGA
Tuesday the 27th of July 2021
5:00 PM CEST
Customer Only Webinar: EDM Library: Using Dynamic Content Definition to Populate Production LibrariesBig Bits&Chips Real-Life Reunion
The Software-Centric Systems Conference brings together leading figures from industry and academia in the heart of the Brainport region, home to Philips, ASML and many other renowned multinational and international companies.