Multimedia Resource Center

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

On-demand Web Seminar: 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.... 33:00

Tags: DO-254, FormalPro, Precision RTL Plus, ReqTracer

On-demand Web Seminar: 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. 42:47

Tags: DO-254, FormalPro, Precision RTL Plus, ReqTracer

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