HIGH RELIABILITY SYNTHESIS
Precision Hi-Rel
Precision Hi-Rel, enhances Precision RTL Plus with automated mitigation of SEUs/SETs in safety-critical & high-reliability applications using TMR, safe FSM and other optimizations.
Mitigate SEEs and Ensure Functional Equivalence
Precision Hi-Rel offers multiple SEE mitigation strategies for safety-critical and high-reliability applications. Integration with FormalPro LEC provides assurance that synthesis-based mitigated design is functionally equivalent to the RTL, ensuring DO-254 certification.
SEE MITIGATE
Triple Modular Redundancy (TMR)
TMR is the most popular mitigation strategy used for protection from SEUs/SETs in FPGAs. Precision Hi-Rel provides the widest selection of TMR modes - LTMR, DTMR, GTMR & intelligent Selective TMR (iSTMR), enabling users to trade-off between safety, area and performance. Inserting TMR at the synthesis level provides greater user control and superior QoR.
PROTECT FSMs
Safe FSM
Precision Hi-Rel offers two enhanced safe FSM modes:
- SEU detect - detects invalid transition/state and recovers to a known state
- SEU tolerant - absorbs an SEU and continues operation without interruption
With seamless integration in the synthesis flow and full user-control, it allows designers to implement these FSM optimizations globally or at modular level.
USER DIRECTED
Push-button or User-directed Mitigation Flow
Precision Hi-Rel gives you the option of a push-button flow for mitigation strategies or a user-directed flow for selective mitigation. User-directed mitigation is implemented using pragmas/attributes in HDL or constraints in TCL.
FUNCTIONAL EQUIVALENCE
Equivalence checking with FormalPro
FormalPro and Precision Hi-Rel is the industry’s only integration that proves functional equivalence between RTL and the mitigated FPGA design. An FVI setup file, containing synthesis optimization and mitigation information, is auto-generated by Precision, enabling a reliable push-button RTL to gate netlist to mitigated gate netlist equivalence checking.
Precision Hi-Rel: Intelligent Selective TMR (iSTMR)
Industry’s only fully-automated synthesis-based solution in Precision Hi-Rel identifies and applies selective TMR intelligently on portions of the design that are more susceptible to SEEs and where FPGA resources are limited.
Join the IC Design community
Join the discussion on new topics, features, content, and technical experts.
Precision Synthesis Support
Access detailed documentation, training resources and more.
EDA consulting
Helping you achieve maximum business impact by addressing complex technology and enterprise challenges with a unique blend of development and design experience and methodology expertise.