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