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

• Скворцова Ольга Борисівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"