安全软件 Precision Hi-Rel

控制设计合成

Precision Hi-Rel 通过使用 TMR、安全 FSM 和其他优化技术自动减少安全关键型和高可靠性应用中的 SEU/SET，增强了 Precision RTL Plus。 减少 SEE，确保功能等效性 Precision Hi-Rel 为安全关键型和高可靠性应用提供多种 SEE 缓解策略。与 FormalPro LEC 集成可确保基于综合的缓解设计在功能上等同于 RTL，从而确保 DO-254 认证。 三模块冗余 (TMR) TMR 是 FPGA 中最常用的 SEU/SET 保护缓解策略。Precision Hi-Rel 提供最广泛的 TMR 模式选择 - LTMR、DTMR、GTMR 和智能选择性 TMR (iSTMR)，使用户能够在安全性、面积和性能之间进行权衡。在合成层插入 TMR 可提供更强的用户控制能力和卓越的 QoR。 安全的 FSM Precision Hi-Rel 提供两种增强型安全 FSM 模式： SEU 检测 - 检测无效转换/状态并恢复到已知状态 SEU 容忍 - 吸收 SEU 并不间断地继续运行 通过在综合流程中的无缝集成和完全的用户控制，它允许设计人员在全局或模块级实施这些 FSM 优化。 按钮式或用户导向的缓解流程 Precision Hi-Rel 为您提供了用于缓解策略的按钮式流程或用于选择性缓解的用户导向流程。在 HDL 中使用实用程序/属性，在 TCL 中使用约束来实现用户定向缓和。