Tech Design Forum
Briefing
aviation
aviation
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:
aviation
,
avionics
,
design for safety
,
DO-254
,
ED-80
,
formal verification
,
FPGA
,
safety-critical systems
| Organizations:
Siemens EDA
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.
Article | Topics:
Blog Topics
,
Standards
,
Verification
| Tags:
aviation
,
avionics
,
DO-254
,
high level synthesis (HLS)
,
lint
,
SystemVerilog
,
Verilog
,
VHDL
| Organizations:
MathWorks
,
RealIntent
May 13, 2014
Mentor targets 10X cut in reliability test for power electronics
New MicReD power tester identifies failure causes without the need for post-test lab analysis
Article | Topics:
Blog - EDA
,
- General
,
Blog - PCB
,
- Tested Component to System
| Tags:
automotive
,
aviation
,
IGBT
,
MOSFET
,
power electronics
,
reliability analysis
| Organizations:
Mentor Graphics
Briefing Topics
EDA
DFT
Electrical Design
Embedded
IP
PCB
Expert Insights
PLATINUM SPONSORS
View All Sponsors
twitter
facebook
RSS
Tech Design Forum
Log In
Register
Sponsors
Briefing
EDA
EDA TOPICS
DFM
DFT
ESL
IC Implementation
Verification
MORE EDA
Expert Insights
Guides
EDA Home Page
IP
IP TOPICS
Assembly & Integration
Design Management
Selection
MORE IP
Expert Insights
Guides
IP Home Page
PCB
PCB TOPICS
Design Integrity
Layout & Routing
System Codesign
MORE PCB
Expert Insights
Guides
PCB Home Page
Embedded
EMBEDDED TOPICS
Architecture & Design
Integration & Debug
Platforms
User Experience
MORE EMBEDDED
Expert Insights
Guides
Embedded Home Page
Search