Применение средств Mentor Graphics 0-In и Mentor Graphics Questa для верификации проекта с использованием формальных методов

В статье рассмотрен метод расширенной функциональной верификации проекта, основанный на формальной модели. Данный метод позволяет «выловить» такие ошибки, которые традиционными методами обнаружить очень сложно, а в некоторых случаях и невозможно. В статье приводится пример очень простого, но не поддающегося верификации стандартными методами проекта. Также упоминаются библиотеки формальных моделей, используя которые, разработчик может обнаружить такие ошибки, о возможности существования которых он и не подозревал.