Номер документа в системі: | 124393 |
Автор: | Сыревич Е.Е. |
Назва документа: | Верификация высокоуровневых моделей цифровых устройств |
УДК | 519.713 |
Мова документу | Російська |
Аннотація | Предлагается стратегия верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры. Основная идея лежит в генерации различающих псевдоисчерпывающих тестов для отдельных функциональных элементов, суперпозиции этих тестов и в интерактивном вычислении эталонных реакций. |
Кількість сторінок | С. 74-77. |