Проектирование и функциональная верификация систем на кристалле

Функциональная верификация занимает всё более важное место в общем маршруте проектирования. Если раньше под проектированием понималась разработка проекта на уровне регистровых передач (и далее переход на вентильный уровень средствами логического синтеза), а верификация проводилась средствами логического моделирования, то сейчас верификация начинается на поведенческом уровне на стадии разработки общей спецификации проекта. Место данного этапа в общем маршруте проектирования систем на кристалле показано на рис. 1.

Рис. 1. Этапы верификации в общем маршруте проектирования

Основными требованиями, предъявляемыми к составу средств функционального проектирования и верификации, является наличие:

средств анализа архитектуры, производительности и других системных параметров проектируемых систем;
средств проектирования аппаратно-программных систем, то есть средств совместной разработки и верификации аппаратуры и встроенного программного обеспечения;
средств проектирования систем с использованием процессорных блоков, то есть моделей процессоров при разработке аппаратуры и программного обеспечения;
единой среды проектирования от системного уровня до уровня регистровых передач и вентильного уровня с поддержкой языков C, C++, SystemC уровней 1.0 и 2.0 и языков описания аппаратуры Verilog и VHDL;

библиотек и высокоуровневых конструкций для функциональных блоков и коммуникационных каналов, включая таблицы связности;
средств управления данными и документирования проектов.

Список литературы

1. А. Бухтеев. Методы и средства проектирования систем на кристалле. - http://www.chipnews.ru/html.cgi/arhiv/03_04/1.htm