Search academic texts

Information × Registration Number 0402U001523, Candidate dissertation Status к.т.н. Date 23-04-2002 popup.evolution o Title Test Generation for sequental functional circuits, that realized in programmable logic Author Skvortsova Ol'ga Borysivna, popup.head Khakhanov Volodymyr Ivanovych popup.opponent Харченко Вячеслав Сергійович popup.opponent Литвинова Євгенія Іванівна Description Робота присвячена розробці структурно-функціо-нальних моделей послідовносних схем і удосконаленню методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їх автоматизованого проектування й імплементації в кристалах ПЛІС. Удосконалені концептуаль-на і структурна моделі примітивного автомата, що дає мож-ливість описувати тригерні схеми в однотактному автомат-ному форматі змінних для моделювання їхньої справної по-ведінки; удосконалена модель послідовносного пристрою для реалізації структурно-функціонального П-алгоритму, що дозволяє будувати адекватні кубічні покриття для тригерних структур і дає можливість зменшити час їхнього аналізу; модифіковані моделі генерації тестів для верифікації цифро-вих систем на основі генетичних алгоритмів, що дозволяють зменшити час обробки цифрових схем великої розмірності; модернізований метод детермiнованої генерації тестів, що дозволяє з гарантованою повнотою будувати тести для послі-довносних схем в одній копії ітеративної моделі. Registration Date 2002-04-23 popup.nrat_date 2020-04-04 Close