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

  Завантажити