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

  Завантажити