DO-254


July 26, 2021

Learn how to apply formal verification to safety-critical aviation designs

A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.
Article  |  Topics: Verification  |  Tags: , , , , , , ,   |  Organizations:
May 19, 2021

Understand how DO-254 defines verification for avionics

The avionics design assurance guidance has its own flavor of verification which needs to be understood alongside its definition of validation.
July 27, 2019

A repeatable methodology for modern reset domain crossing issues

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

Functional safety and high reliability for FPGA designs – eight videos show you how

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.
Article  |  Topics: Blog - EDA, Embedded, - General  |  Tags: , , , , , ,   |  Organizations:
April 30, 2015

Safety compliance in hardware and software development focus of online/Munich conference

Online and physical conference focuses on achieving compliance with safety standards such as ISO26262, DO254, and DO178
Article  |  Topics: Blog Topics, Conferences, Standards, Verification  |  Tags: , , , , ,   |  Organizations: ,
February 25, 2015

Real Intent updates linter for aviation, Mathworks and SystemVerilog

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

Aldec automates safety-critical traceability

Spec-TRACER addresses stringent design reporting demands in safety-critical markets, some of which are moving into the mainstream.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors