Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2456
Title: Реализация процедур импликации на графовой структуре
Authors: Шкиль, А. С.
Чегликов, Д. И.
Зинченко, Д. Е.
Keywords: верификация
графовая структура
тест
прямая и обратная импликация
VHDL
Issue Date: 2006
Publisher: Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
Citation: Шкиль А. С. Реализация процедур импликации на графовой структуре / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006
Abstract: В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.
URI: http://openarchive.nure.ua/handle/document/2456
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Шкиль_РЕКС_2006_6(18)_2.pdf1.21 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.