Розроблено методи зменшення обсягу тестової інформації, необхідної для функціональної верифікації високорівневих моделей цифрових пристроїв (ЦП), які подано мовами опису апаратури (МОА). Удосконалено стратегію верифікації мовних моделей ЦП. Створено нові методи верифікації на основі синтезу тестів за умов активізації шляхів у структурі, що описує ЦП. Модифіковано методи побудови розрізнюючих послідовностей для ідентифікації функціональних елементів у моделі ЦП. Вперше створено модель сигналу з поданням цілочислових і логічних значень у вигляді діапазонів, а також операції прямої та зворотної імплікації на ній. Розроблено модель ЦП у вигляді композиції двох графів на основі поведінкової моделі на МОА, запропоновано методику проведення діагностичного експерименту за розробленою стратегією. Здійснено експериментальне дослідження на мовних моделях реальних проектів ЦП та тестових схем з каталогів провідних фірм в області проектування ЦП на МОА. Показано, що програмна реалізація компонентів системи автоматизованої верифікації на базі графової моделі та впровадження теоретичних і практичних результатів наукового дослідження у виробництво, дозволили формалізувати процес верифікації та підвищити його достовірність, що сприяє скороченню часу, відведеного на проектування апаратури.

  Скачати повний текст