Скворцова О. Б. Проектування тестів для послідовносних функ-ціональних схем, що реалізовані у програмова-ній логіці

Робота присвячена розробці структурно-функціо-нальних моделей послідовносних схем і удосконаленню методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їх автоматизованого проектування й імплементації в кристалах ПЛІС. Удосконалені концептуаль-на і структурна моделі примітивного автомата, що дає мож-ливість описувати тригерні схеми в однотактному автомат-ному форматі змінних для моделювання їхньої справної по-ведінки; удосконалена модель послідовносного пристрою для реалізації структурно-функціонального П-алгоритму, що дозволяє будувати адекватні кубічні покриття для тригерних структур і дає можливість зменшити час їхнього аналізу; модифіковані моделі генерації тестів для верифікації цифро-вих систем на основі генетичних алгоритмів, що дозволяють зменшити час обробки цифрових схем великої розмірності; модернізований метод детермiнованої генерації тестів, що дозволяє з гарантованою повнотою будувати тести для послі-довносних схем в одній копії ітеративної моделі.