Хаханов, В.И.; Хаханова, И.В.; Литвинова, Е.И.; Гузь, О.А.
(2010)
Предложена технология тестирования и верификации цифровых систем для диагностирования и исправления ошибок HDL-моделей, основанная на совместном использовании механизма (системы) ассерций и тестопригодного проектирования. ...