Precision® Hi-Rel

Precision Hi-Rel, developed with the guidance of NASA, provides new synthesis-based radiation effects mitigation for aerospace and high reliability applications.

Alternative methods to mitigate radiation effects, such as manually coding safeguards into the design, can be either too difficult, time consuming, or error-prone. With Precision Hi-Rel, designers can protect against single-event effects (SEEs) and benefit from automation, extensive user-control, and multi-vendor support.

Key Features

Triple Modular Redundancy (TMR)

  • Broadest device support for TMR insertion
  • Extensive user control

Safe FSM

  • Fault-Tolerant FSM encoding
  • Fault Recovery for all state machine encodings

All Features of Precision RTL Plus, Including:

  • Physical synthesis (pre-P&R)
  • Low power synthesis
  • Incremental flows
  • Formally verifiable synthesis (assured synthesis)
  • Requirements tracking support
  • Precise-Encrypt™ - HDL Encryption
  • Graphical resource management

Evalutate Now

Although the concept of TMR is simple, writing a reliable VHDL equivalent is not. Automating TMR logic insertion, while allowing the user to select the type of TMR mitigation, is very beneficial to a FPGA designer developing critical space applications”

Melanie Berg, MEI Technologies, NASA/GSFC Radiation Effects and Analysis Group

Mitigating Radiation Effects in FPGAs: Automation and Device Options

On-demand Web Seminar: This webinar discusses the various methodologies to radiation effects mitigation and their impact on development, quality-of-results, and reliability. View On-demand Web Seminar

Product Demos

Multi-Vendor, Multi-Mode Triple Modular Redundancy

Multi-Vendor, Multi-Mode Triple Modular Redundancy

Product Demo: This short demonstration will show how Precision Hi-Rel inserts Triple Modular Redundancy (TMR) circuitry for radiation effects mitigation. Specifically, we will first load an FSM design and inject faults...

View Video
Fault-Tolerant and Fault Recovery FSM

Fault-Tolerant and Fault Recovery FSM

Product Demo: This short demonstration will show how Precision Hi-Rel performs fault detection and fault-tolerant FSM encoding for radiation effects mitigation. Specifically, we will first load an FSM design and inject...

View Video
Formally Verifiable Synthesis (Assured Synthesis Mode)

Formally Verifiable Synthesis (Assured Synthesis Mode)

Product Demo: This short demonstration will show how “assured synthesis mode”, available in Precision RTL Plus and Precision Hi-Rel, ensures the synthesized design is formally verifiable as is commonly required...

View Video