Synthesis for Safety-Critical FPGA Designs
Precision HiRel by Siemens EDA is a specialized FPGA synthesis tool built for high-reliability applications in aerospace, defense, automotive, and medical domains. It enables fault-tolerant design, built-in redundancy, and compliance with safety standards like DO-254 and ISO 26262.
Key Features:
- Automated Triple Modular Redundancy (TMR) – Insert TMR on logic, I/Os, and global buffers for robust SEU/SET mitigation.
- Safe State Machine Encoding – Synthesizes FSMs with fault-resilient encoding for safety-critical logic.
- Error Detection & Correction (EDAC) – Supports inference of parity/ECC logic and FSM-level error handling.
- Radiation-Hardened FPGA Optimization – Tailored for space- and defense-grade FPGAs.
- Standards-Driven Synthesis – Helps meet DO-254, ISO 26262, IEC 61508, and other safety compliance requirements.
- Intelligent TMR Configurations – Supports LTMR, DTMR, GTMR, and iSTMR with fine-grained control.
- Formal Verifiability – Enables formal checks on TMR logic and Safe FSM structures.
- Broad FPGA Vendor Support – Compatible with devices from Xilinx, Intel, Microchip, and others.
- Configurable Mitigation Granularity – Apply redundancy from global to leaf-level logic.
- QoR-Optimized Insertion – Intelligent synthesis ensures fault tolerance without compromising performance or area.
