Мд. М. М. Моделi та алгоритми генерацiї тестiв для цифрових систем, що проектуються у середовищi VHDL

Диссертація присвячена розробці структурно-функціональних псевдокомбінаційних моделей і алгоритмів детермінованої генерації тестів цифрових систем для зменшення часу їхньої верифікації на стадії автоматизованого проектування при використанні середовища Active-HDL. Отримані результати: модифікація синхронної моделі цифрового примітива для опису тригерних схем; удосконалення алгоритмів і процедур гене-рації тестів перевірки несправностей для комбінаційних і послідовносних схем; лінійна модель процесу побудови тестів перевірки несправностей для функціональних схем, заданих кубічними покриттями; стратегії застосування детермінованого й алгоритмічних генераторів для цифрових систем великої розмірності.