July 26, 2021
A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.
May 19, 2021
The avionics design assurance guidance has its own flavor of verification which needs to be understood alongside its definition of validation.
July 27, 2019
Reset domain crossing is another area where rising SoC complexity and IP reuse is causing an increase in reliability and safety challenges.
May 5, 2016
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.
April 30, 2015
Online and physical conference focuses on achieving compliance with safety standards such as ISO26262, DO254, and DO178
February 25, 2015
Ascent Lint adds checks for DO-254, tighter integration with HDL Coder, more SystemVerilog support and new VHDL and Verilog rules in March update.
May 21, 2013
Spec-TRACER addresses stringent design reporting demands in safety-critical markets, some of which are moving into the mainstream.