Функциональная верификация занимает всё более важное место в общем маршруте проектирования. Если раньше под проектированием понималась разработка проекта на уровне регистровых передач (и далее переход на вентильный уровень средствами логического синтеза), а верификация проводилась средствами логического моделирования, то сейчас верификация начинается на поведенческом уровне на стадии разработки общей спецификации проекта. Место данного этапа в общем маршруте проектирования систем на кристалле показано на рис. 1.
Рис. 1.  Этапы верификации в общем маршруте проектирования
Основными требованиями, предъявляемыми к составу средств функционального проектирования и верификации, является наличие:
Список литературы
1. А. Бухтеев. Методы и средства проектирования систем на кристалле. - http://www.chipnews.ru/html.cgi/arhiv/03_04/1.htm