Шкиль, А. С.Чегликов, Д. И.Зинченко, Д. Е.2016-09-132016-09-132006Шкиль А. С. Реализация процедур импликации на графовой структуре / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006http://openarchive.nure.ua/handle/document/2456В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.ruверификацияграфовая структуратестпрямая и обратная импликацияVHDLArticle