高可靠性合成

Precision Hi-Rel

Precision Hi-Rel 通过使用 TMR、安全 FSM 和其他优化，在安全关键型和高可靠性应用中自动缓解SEUS/SETS，增强了 Precision RTL Plus。

关键功能

缓解SEE并确保功能等效

Precision Hi-Rel为安全关键和高可靠性应用提供多种SEE缓解策略。与 FormalPro LEC 的集成可确保基于合成的缓解设计在功能上与 RTL 相同，从而确保 DO-254 认证。

三重模块化冗余 (TMR)

TMR 是最常用的缓解策略，用于防止 FPGA 中的 SEUS/SETS。Precision Hi-Rel提供最广泛的TMR模式选择——LTMR、DTMR、GTMR和智能选择性TMR（istMR），使用户能够在安全性、面积和性能之间进行权衡。在合成层面插入 TMR 可提供更好的用户控制和卓越的 QoR。