Software de controle Precision Hi-Rel

de designde segurançade síntese

O Precision Hi-Rel melhora o Precision RTL Plus com a atenuação automática de SEUs/SETs em aplicações críticas de segurança e de alta fiabilidade utilizando TMR, FSM seguro e outras optimizações. Mitigar SEEs e garantir a equivalência funcional A Precision Hi-Rel oferece várias estratégias de mitigação de SEEs para aplicações críticas de segurança e de alta confiabilidade. A integração com o FormalPro LEC garante que o design atenuado baseado em síntese é funcionalmente equivalente ao RTL, assegurando a certificação DO-254. Redundância Modular Tripla (TMR) A TMR é a estratégia de atenuação mais popular utilizada para proteção contra SEUs/SETs em FPGAs. A Precision Hi-Rel oferece a mais ampla seleção de modos TMR - LTMR, DTMR, GTMR e TMR Selectiva Inteligente (iSTMR), permitindo aos utilizadores escolher entre segurança, área e desempenho. A inserção de TMR ao nível da síntese proporciona um maior controlo por parte do utilizador e uma QoR superior. FSM seguro O Precision Hi-Rel oferece dois modos FSM seguros melhorados: Deteção de SEU - detecta transição/estado inválido e recupera para um estado conhecido Tolerante a SEU - absorve um SEU e continua a operação sem interrupção Com uma integração perfeita no fluxo de síntese e controlo total pelo utilizador, permite aos projectistas implementar estas optimizações FSM globalmente ou a nível modular. Fluxo de atenuação com botão de pressão ou dirigido pelo utilizador O Precision Hi-Rel oferece a opção de um fluxo de botões para estratégias de atenuação ou um fluxo dirigido pelo utilizador para atenuação selectiva. A mitigação dirigida pelo utilizador é implementada utilizando pragmas/atributos em HDL ou restrições em TCL.