Хаханов, В. І.Хаханова, І. В.Литвинова, Є. І.Гузь, О. А.2016-09-062016-09-062009Хаханов В. І. Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009http://openarchive.nure.ua/handle/document/2181Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.ruтестуваннятестопридатністьверифікаціяHDL-модельArticle