Software de seguridad Precision Hi-Rel

de mandode diseñode síntesis

Precision Hi-Rel, mejora Precision RTL Plus con mitigación automatizada de SEUs/SETs en aplicaciones de seguridad crítica y alta fiabilidad utilizando TMR, FSM seguro y otras optimizaciones. Mitigue los SEE y garantice la equivalencia funcional Precision Hi-Rel ofrece múltiples estrategias de mitigación de SEE para aplicaciones de seguridad crítica y alta fiabilidad. La integración con FormalPro LEC garantiza que el diseño mitigado basado en síntesis es funcionalmente equivalente al RTL, lo que asegura la certificación DO-254. Redundancia modular triple (TMR) TMR es la estrategia de mitigación más utilizada para la protección contra SEUs/SETs en FPGAs. Precision Hi-Rel ofrece la más amplia selección de modos de TMR: LTMR, DTMR, GTMR y TMR selectiva inteligente (iSTMR), lo que permite a los usuarios elegir entre seguridad, área y rendimiento. La inserción de TMR en el nivel de síntesis proporciona un mayor control al usuario y una calidad de imagen superior. FSM seguro Precision Hi-Rel ofrece dos modos FSM seguros mejorados: Detección de SEU: detecta una transición/estado no válido y se recupera a un estado conocido Tolerancia a SEU: absorbe una SEU y continúa funcionando sin interrupción Con una integración perfecta en el flujo de síntesis y un control total por parte del usuario, permite a los diseñadores implementar estas optimizaciones FSM de forma global o modular. Flujo de mitigación mediante pulsador o dirigido por el usuario Precision Hi-Rel le ofrece la opción de un flujo de botón para las estrategias de mitigación o un flujo dirigido por el usuario para la mitigación selectiva. La mitigación dirigida por el usuario se implementa mediante pragmas/atributos en HDL o restricciones en TCL.