Sign In
Forgot Password?
Sign In | | Create Account

Multimedia Resource Center

Showing: 1-2 of 2
Equivalence Check Satisfies Safety Verification IEC61508 for Robotics

Equivalence Check Satisfies Safety Verification IEC61508 for Robotics

16:22

Technology Overview: 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... 16:22

Tags: FormalPro

View Video
Using Logical Equivalency Checking to Verify the Netllist

Using Logical Equivalency Checking to Verify the Netllist

29:43

Technology Overview: 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... 29:43

Tags: FormalPro

View Video

Current Filters

Showing: 1-2 of 2
 
Online Chat