Equivalence Check Satisfies Safety Verification IEC61508 for Robotics
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..
A logic equivalency checking (LEC) verification process supports DO-254 compliance and helps reduce dependence on gate-level simulation for complex FPGA projects. In this video, DO-254 program manager Michelle...…View Technology Overview
Improving productivity has many forms, simulation performance, debug effectiveness, even writing test scenarios. We will highlight high value techniques for improving throughput.…View On-demand Web Seminar
What we will show in this webinar is how we can leverage Assertions, including the pre-defined, pre-tested OVL libraries, to automate the verification process further. What we will also show is the way...…View On-demand Web Seminar
Other Related Resources
White Paper: 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...…View White Paper
White Paper: DO-254 compliance is becoming increasingly common on commercial and military aviation projects. Companies often struggle with the requirements and costs of DO-254 compliance. Engineers can use Model-Based...…View White Paper