| Номер документа в системі: | 125213 |
| Автор: | Кривуля Г.Ф., Сыревич Е.Е., Карасев А.Л. |
| Назва документа: | Верификация моделей цифровых устройств, представленных на языке описания аппаратуры |
| УДК | 681.32 |
| Мова документу | Російська |
| Аннотація | Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры. Основная идея состоит в генерации различающих псевдоисчерпывающих тестов для отдельных функциональных элементов, суперпозиции этих тестов и в интерактивном вычислении эталонных реакций. |
| Кількість сторінок | С. 63-68. |