Хаханов, В. И.Литвинова, Е. И.Чумаченко, С. В.Побеженко, И. А.Ngene, C. U.2016-09-132016-09-132009Тестирование и верификация HDL-моделей компонентов SOC. I / В. И. Хаханов, Е. И. Литвинова, С. В. Чумаченко, И. А. Побеженко, Ngene Hristofher Umeran // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков. : Изд-во ХНУРЭ, 2009. – Вып. 3 (46). – С. 38–45.http://openarchive.nure.ua/handle/document/2485Предлагается технология тестирования и верификации системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market) путем использования среды моделирования, тестопригодного анализа логической структуры HDL-программы для квазиоптимального размещения механизма ассерций.ruтестирование и верификация системных HDL-моделейпроектирование компонентов цифровых системцифровые системы на кристаллахArticle