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.
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.
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.
Join the discussion on new topics, features, content and technical experts.
Access detailed documentation, training resources and more.
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.
