Software di regolazione Precision Hi-Rel

di progettazionedi sicurezzadi sintesi

Precision Hi-Rel migliora Precision RTL Plus con la mitigazione automatica di SEU/SET in applicazioni critiche per la sicurezza e ad alta affidabilità utilizzando TMR, FSM sicuro e altre ottimizzazioni. Attenuazione delle SEU e garanzia di equivalenza funzionale Precision Hi-Rel offre molteplici strategie di mitigazione delle SEE per applicazioni critiche per la sicurezza e ad alta affidabilità. L'integrazione con FormalPro LEC garantisce che il progetto mitigato basato sulla sintesi sia funzionalmente equivalente all'RTL, assicurando la certificazione DO-254. Tripla ridondanza modulare (TMR) La TMR è la strategia di mitigazione più utilizzata per la protezione da SEU/SET negli FPGA. Precision Hi-Rel offre la più ampia selezione di modalità TMR: LTMR, DTMR, GTMR e intelligent Selective TMR (iSTMR), consentendo agli utenti di trovare un compromesso tra sicurezza, area e prestazioni. L'inserimento del TMR a livello di sintesi offre un maggiore controllo da parte dell'utente e un QoR superiore. FSM sicuro Precision Hi-Rel offre due modalità Safe FSM migliorate: SEU detect - rileva una transizione/stato non valido e recupera uno stato noto SEU tolerant - assorbe un SEU e continua a funzionare senza interruzioni Grazie alla perfetta integrazione nel flusso di sintesi e al pieno controllo da parte dell'utente, i progettisti possono implementare queste ottimizzazioni FSM a livello globale o modulare. Flusso di mitigazione a pulsante o diretto dall'utente Precision Hi-Rel offre la possibilità di scegliere tra un flusso push-button per le strategie di mitigazione e un flusso user-directed per la mitigazione selettiva. La mitigazione diretta dall'utente è implementata utilizzando pragmi/attributi in HDL o vincoli in TCL.