Logiciel de sécurité Precision Hi-Rel

de commandede conceptionde synthèse

Precision Hi-Rel, améliore Precision RTL Plus avec l'atténuation automatisée des SEUs/SETs dans les applications critiques de sécurité et de haute fiabilité en utilisant TMR, FSM sûr et d'autres optimisations. Atténuer les SEU et garantir l'équivalence fonctionnelle Precision Hi-Rel propose plusieurs stratégies d'atténuation des EES pour les applications critiques en termes de sécurité et de haute fiabilité. L'intégration avec FormalPro LEC garantit que la conception atténuée basée sur la synthèse est fonctionnellement équivalente à la RTL, assurant ainsi la certification DO-254. Triple redondance modulaire (TMR) La TMR est la stratégie d'atténuation la plus populaire utilisée pour la protection contre les SEU/SET dans les FPGA. Precision Hi-Rel offre le plus grand choix de modes TMR - LTMR, DTMR, GTMR et TMR sélective intelligente (iSTMR), permettant aux utilisateurs de faire des compromis entre la sécurité, la surface et la performance. L'insertion de la TMR au niveau de la synthèse offre un plus grand contrôle à l'utilisateur et une meilleure qualité de service. FSM sûr Precision Hi-Rel offre deux modes FSM sécurisés améliorés : SEU detect - détecte une transition/état invalide et rétablit un état connu Tolérance SEU - absorbe une SEU et poursuit l'opération sans interruption Grâce à une intégration transparente dans le flux de synthèse et à un contrôle total par l'utilisateur, les concepteurs peuvent mettre en œuvre ces optimisations FSM globalement ou au niveau modulaire. Flux d'atténuation à bouton-poussoir ou dirigé par l'utilisateur Precision Hi-Rel vous offre la possibilité de choisir entre un flux à bouton-poussoir pour les stratégies d'atténuation et un flux dirigé par l'utilisateur pour l'atténuation sélective. L'atténuation dirigée par l'utilisateur est mise en œuvre à l'aide de pragmas/attributs en HDL ou de contraintes en TCL.