avionics


September 17, 2021

Digital twins manage change in E/E design for aerospace

A three-pronged digital twin strategy can help aviation and defense companies master increasing complexity in electrical implementations.
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.
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.
February 23, 2012

ISSCC notebook – Back to the future

The International Solid State Circuits Conference is one of the most important technology shows, but you've gotta be careful in using it to cite market trends...
Article  |  Topics: Commentary, Conferences  |  Tags: , , , ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors