Рабоволюк, А. Функциональная верификация цифровых HDL-проектов [Текст] : методология на основе ассертов / А. Рабоволюк // Электроника: наука, технология, бизнес. - 2010. - N 1. - С. 84-87. - Библиогр.: с. 87 (4 нзв. ) . - ISSN 1992-4178
Рубрики: Радиоэлектроника Электроника в целом Кл.слова (ненормированные): ассерты -- верификация -- методология верификации -- HDL-проекты -- цифровые HDL-проекты -- цифровые устройства Аннотация: Основная идея методологии верификации на основе ассертов заключается в том, чтобы информацию, т. е. знание о работе проекта, которые раньше оставались у разработчика в голове, записать формальными методами и использовать при моделировании в автоматическом режиме. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |