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