Программное обеспечение для управления Precision Hi-Rel

для разработкидля безопасностисинтеза

Precision Hi-Rel расширяет возможности Precision RTL Plus, обеспечивая автоматическое устранение SEU/SETs в критически важных и высоконадежных приложениях с помощью TMR, безопасных FSM и других оптимизаций. Смягчение SEE и обеспечение функциональной эквивалентности Precision Hi-Rel предлагает несколько стратегий смягчения SEE для критически важных и высоконадежных приложений. Интеграция с FormalPro LEC позволяет гарантировать функциональную эквивалентность синтезированного проекта RTL, что обеспечивает сертификацию DO-254. Тройное модульное резервирование (TMR) TMR - самая популярная стратегия смягчения, используемая для защиты от SEU/SETs в ПЛИС. Precision Hi-Rel предоставляет самый широкий выбор режимов TMR - LTMR, DTMR, GTMR и интеллектуальный селективный TMR (iSTMR), позволяя пользователям найти компромисс между безопасностью, площадью и производительностью. Вставка TMR на уровне синтеза обеспечивает больший пользовательский контроль и превосходное качество обслуживания. Безопасная FSM Precision Hi-Rel предлагает два улучшенных безопасных режима FSM: SEU detect - обнаруживает недопустимый переход/состояние и восстанавливается до известного состояния SEU tolerant - поглощает SEU и продолжает работу без прерывания Благодаря бесшовной интеграции в поток синтеза и полному контролю со стороны пользователя, разработчики могут реализовать эти оптимизации FSM глобально или на модульном уровне. Кнопочный или управляемый пользователем поток смягчения последствий Precision Hi-Rel предоставляет возможность выбора между кнопочным потоком для стратегий смягчения или пользовательским потоком для выборочного смягчения. Пользовательское смягчение реализуется с помощью прагм/атрибутов в HDL или ограничений в TCL.