Публікація: Реализация процедур импликации на графовой структуре
Завантаження...
Дата
2006
Назва журналу
ISSN журналу
Назва тома
Видавництво
Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
Анотація
В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.
Опис
Ключові слова
верификация, графовая структура, тест, прямая и обратная импликация, VHDL
Бібліографічний опис
Шкиль А. С. Реализация процедур импликации на графовой структуре / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006