| Номер документа в системі: | 125072 |
| Автор: | Хаханова И.В., Побеженко И.А, Киященко А.В., Парфентий А.Н. |
| Назва документа: | Дедуктивная технология моделирования дефектов цифровых устройств |
| УДК | 519.713+681.326 |
| Мова документу | Російська |
| Аннотація | Предлагается быстродействующий дедуктивно-параллельный метод обратного моделирования неисправностей, использующий процедуру суперпозиции решений, ориентированный на обработку цифровых проектов большой размерности вентильного и регистрового уровней описания. Представляются
структуры данных и алгоритмы для реализации метода в составе автоматической системы генерации тестов. |
| Кількість сторінок | С. 100-114. |