|
-
Ключові слова:
автоматизоване проектування, автоматизированное проектирование ; генерація тестів, генерация тестов ; логічне моделювання, логическое моделирование, logic simulation ; цифрові автомати, цифровые автоматы, digital automata
-
Анотація:
Цель диссертационной работы - уменьшение временных затрат верификации цифрового проекта путем автоматической генерации тестов на основе модификации моделей управляющего автомата и его компонентов, представленных в среде Activ-HDL.
-
Теми документа
-
УДК // Автомати
-
УДК // Цифрові (або переважно цифрові) системи, машини, обладнання
|
