Архів автора	Хаханов, В. И.     Метод верификации HDL-кода на основе транзакционного логического графа [Текст] / В. И. Хаханов, И. А. Побеженко, В. А. Василенко, С. В. Чумаченко // Автоматизир. системы упр. и приборы автоматикиВып. 148. Вып. 148 ; М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники - Харьков , 2009. — 87-101.