Equivalence Check Satisfies Safety Verification IEC61508 for Robotics
Technology Overview
ABSTRACT
In this session, Jim Henson, Product Marketing Manager at Mentor Graphics discusses IEC 61508, "Functional safety of electrical/electronic/programmable electronic safety-related systems." This standard is a product oriented (hardware/software) functional safety standard created by the International Electrotechnical Commission (IEC). A robotics control system manufacturer using programmable FPGA devices for safety logic is required to comply with IEC61508 in order to deliver to an EU customer. Mentor's FormalPro Equivalence Check tool is used to prove that the final FPGA netlist is equivalent to the design-level RTL which satisfies the safety requirement..
Related Resources
Using Formal Verification to Check SoC Connectivity...
White PaperUsing Formal Verification to Check SoC Connectivity Correctness
Formal verification offers a solution that is quick, exhaustive and allows for efficient debug. It’s true that traditionally, chip-level formal verification is impractical. The approach usually targets...
TAGS: Formal Verification, Questa Formal Verification , FormalPro
FPGA Design Assurance for DO-254 and Safety-Critical...
On-demand Web Seminar 33:00FPGA Design Assurance for DO-254 and Safety-Critical Applications
Methodologies, tools, and flows for processes such as design synthesis for FPGAs must take DO-254 or design assurance requirements into consideration if the end products are slated for safety-critical applications....
TAGS: DO-254, ReqTracer, Precision RTL Plus, FormalPro
Is Your Safe Design Safe Enough
On-demand Web Seminar 42:47Is Your Safe Design Safe Enough
In this seminar, we explore the causes of soft errors such as SEUs and SETs and consider FPGA challenges when meeting safety-critical standards such as DO-254.
TAGS: DO-254, ReqTracer, Precision RTL Plus, FormalPro