Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
Аннотация к работе
Дисертацією є рукопис. Робота виконана у Харківському національному університеті радіоелектроніки, Міністерство освіти і науки України.