Тестирование и верификация HDL-моделей цифровых систем на кристаллах

• Date: 2010
• Main Authors: Хаханов, В.И., Хаханова, И.В., Литвинова, Е.И., Гузь, О.А.
• Format: Article
• Language: Russian
• Published: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
• Subjects: Информационные технологии
• Online Access: http://dspace.nbuv.gov.ua/handle/123456789/12810
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Тестирование и верификация HDL-моделей цифровых систем на кристаллах / В.И. Хаханов, И.В. Хаханова, Е.И. Литвинова, О.А. Гузь // Электронное моделирование. — 2010. — Т. 32, № 2. — С. 31-60. — Бібліогр.: 18 назв. — рос.

Предложена технология тестирования и верификации цифровых систем для диагностирования и исправления ошибок HDL-моделей, основанная на совместном использовании механизма (системы) ассерций и тестопригодного проектирования. Представлена универсальная модель программного компонента в виде транзакционно...