Хаханов, В. И.Литвинова, Е. И.Чумаченко, С. В.Побеженко, И. А.Ngene, C. E.2016-08-052016-08-052009Компьютерная инженерия и техническая диагностика / В. И. Хаханов и др. // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 3. – С. 38-45.http://openarchive.nure.ua/handle/document/1781Предлагается технология тестирования и верификации системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market) путем использования среды моделирования, тестопригодного анализа логической структуры HDL-программы для квазиоптимального размещения механизма ассерций.ruтестопригодное проектированиеассерционная избыточностьсистемные HDL-моделитестирование и верификацияArticle