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