|
Автоматика и телемеханика, 2013, выпуск 1, страницы 146–158
(Mi at4291)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Безопасность, живучесть, надежность, техническая диагностика
Верификация проектов и построение тестов контроля СБИС на уровне RTL
Л. А. Золоторевич Белорусский государственный университет, Минск
Аннотация:
Предлагается метод верификации проектов и направленного построения тестов контроля СБИС, представленных на уровне RTL на языке VHDL. Задача построения тестов и верификации проектов решается на основе КНФ – выполнимости некоторой системы булевых функций.
Образец цитирования:
Л. А. Золоторевич, “Верификация проектов и построение тестов контроля СБИС на уровне RTL”, Автомат. и телемех., 2013, № 1, 146–158; Autom. Remote Control, 74:1 (2013), 113–122
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at4291 https://www.mathnet.ru/rus/at/y2013/i1/p146
|
|