Публікація: Система генерации тестов для проектирования цифровых автоматов в среде VHDL-Active
Завантаження...
Дата
2000
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХТУРЭ
Анотація
Предлагается система генерации тестов для конечных автоматов, описываемых в среде VHDL-Active [1]. Исходная информация об объекте диагностирования задается в виде графа переходов или в формате конструкций языков описания аппаратуры VHDL, Verilog. Приводится описание системы генерации тестов ASFTEST с позиции пользователя. Система может быть полезна
для проектировщиков цифровых управляющих автоматов, в качестве средства верификации созданного устройства.
Опис
Ключові слова
конечный автомат, граф переходов, система генерации тестов
Бібліографічний опис
Система генерации тестов для проектирования цифровых автоматов в среде VHDL-Active / В. И. Хаханов, Е. В. Ковалев, В. В. Ханько, Масуд Мехеди // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : ХТУРЭ, 2000. – Вып. 111. – С. 15–22.