Пошук академічних текстів

Інформація × Реєстраційний номер 0402U001523, Кандидатська дисертація На здобуття к.т.н. Дата захисту 23-04-2002 Статус Запланована Назва роботи Проектування тестів для послідовносних функ-ціональних схем, що реалізовані у програмова-ній логіці Здобувач Скворцова Ольга Борисівна, Керівник Хаханов Володимир Іванович Опонент Харченко Вячеслав Сергійович Опонент Литвинова Євгенія Іванівна Опис Робота присвячена розробці структурно-функціо-нальних моделей послідовносних схем і удосконаленню методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їх автоматизованого проектування й імплементації в кристалах ПЛІС. Удосконалені концептуаль-на і структурна моделі примітивного автомата, що дає мож-ливість описувати тригерні схеми в однотактному автомат-ному форматі змінних для моделювання їхньої справної по-ведінки; удосконалена модель послідовносного пристрою для реалізації структурно-функціонального П-алгоритму, що дозволяє будувати адекватні кубічні покриття для тригерних структур і дає можливість зменшити час їхнього аналізу; модифіковані моделі генерації тестів для верифікації цифро-вих систем на основі генетичних алгоритмів, що дозволяють зменшити час обробки цифрових схем великої розмірності; модернізований метод детермiнованої генерації тестів, що дозволяє з гарантованою повнотою будувати тести для послі-довносних схем в одній копії ітеративної моделі. Дата реєстрації 2002-04-23 Додано в НРАТ 2020-04-04 Закрити