Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2181
Title: Верифікація HDL-коду на основі механізму ассерцій
Authors: Хаханов, В. І.
Хаханова, І. В.
Литвинова, Є. І.
Гузь, О. А.
Keywords: тестування
тестопридатність
верифікація
HDL-модель
Issue Date: 2009
Publisher: Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
Citation: Хаханов В. І. Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009
Abstract: Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.
URI: http://openarchive.nure.ua/handle/document/2181
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Хаханов_ИКС_ЗТ_2009_6_1.pdf552.1 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.