Resources
| Resource | Type | Design Area |
|---|---|---|
| Formal Verification for DO-254 (and Other Safety-Critical) Designs | White Paper | FPGA |
| Code Coverage Explained: For DO-254 Projects | White Paper | FPGA |
| ReqTracer | Datasheet | FPGA |
| Patmos Engineering Services | Datasheet | FPGA |
| DO-254 Solution | Datasheet | FPGA |
| DO-254 Glossary of Terms and Acronyms | Datasheet | FPGA |
| Demystifying DO-254 | White Paper | FPGA |
| ModelSim PE Evaluation Software | Software Evaluation | Functional Verification |
| BridgePoint | Datasheet | System Modeling |
| DO-254 Compliance: Pitfalls and Solutions | Event | FPGA |
Aerospace and Military Solutions
Model-Driven Systems Development
The development and intelligent use of computer models are critical to our aerospace and military customers who must ensure that devices are compatible with harsh operating environments and meet their exacting reliability requirements.
Safety Critical Design
Our tools, approaches, and processes help our aerospace and defense customers meet mission-critical quality (DO-254), cost, and safety objectives for their FPGA designs – with no compromises in security, reliability, durability, and efficiency.
Electrical Systems Design and Harness Engineering
We provide our aerospace and military customers with proven tools they need to design their complex electrical systems, control logic, and transmission paths while ensuring safety and reliability.