Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
Аннотация к работе
Дисертацією є рукопис. Робота виконана у Харківському національному університеті радіоелектроніки, Міністерство освіти і науки України.