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.
avionics
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.
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.
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.
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...
PLATINUM SPONSORS
View All Sponsors