A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.
The avionics design assurance guidance has its own flavor of verification which needs to be understood alongside its definition of validation.
Reset domain crossing is another area where rising SoC complexity and IP reuse is causing an increase in reliability and safety challenges.
Videos detail techniques to improve the functional safety and reliability of FPGA designs, including the implementation of triple modular redundancy, safe FSM schemes and self monitoring.
Online and physical conference focuses on achieving compliance with safety standards such as ISO26262, DO254, and DO178
Ascent Lint adds checks for DO-254, tighter integration with HDL Coder, more SystemVerilog support and new VHDL and Verilog rules in March update.
Spec-TRACER addresses stringent design reporting demands in safety-critical markets, some of which are moving into the mainstream.
View All Sponsors