Precision Hi-Rel améliore Precision RTL Plus en atténuant automatiquement les SEUS/SET dans les applications critiques et fiables à l'aide du TMR, du FSM sécurisé et d'autres optimisations.
Precision Hi-Rel propose plusieurs stratégies d'atténuation du SEE pour les applications critiques en matière de sécurité et de haute fiabilité. L'intégration à FormalPro LEC garantit que la conception atténuée basée sur la synthèse est fonctionnellement équivalente à celle du RTL, garantissant ainsi la certification DO-254.
La TMR est la stratégie d'atténuation la plus utilisée pour se protéger des SEUS/SETS dans les FPGA. Precision Hi-Rel propose le plus grand choix de modes TMR : LTMR, DTMR, GTMR et TMR sélectif intelligent (iSTMR), permettant aux utilisateurs de trouver un compromis entre sécurité, surface et performances. L'insertion du TMR au niveau de la synthèse permet à l'utilisateur de mieux contrôler et d'améliorer la QoR.
Participez à la discussion sur les nouveaux sujets, les fonctionnalités, le contenu et les experts techniques.
Accédez à une documentation détaillée, à des ressources de formation et plus encore.
Vous aider à obtenir un impact commercial maximal en relevant des défis technologiques et commerciaux complexes grâce à une combinaison unique d'expérience en matière de développement et de conception et d'expertise méthodologique.
