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.
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 13, 2014
New MicReD power tester identifies failure causes without the need for post-test lab analysis