Литивинова Є. І. Інфраструктури верифікації та убудованного діагнустування цифрових систем на кристалах. Рукопис. Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.05 - комп'ютерні системи і компоненти. - Харківський національний університет радіоєлектроніки, Харків, 2010.
Розроблено теоретічні положення і практичні засоби, які складають інфраструктуру верифікації та убудованного діагностування цифрових систем на кристалах на основі використання технологій асерційної надлишковості та граничного сканування, що дозволило суттєво зменшити час проектування (time-to-market) і одночасно збільшити вихід придатної продукції (yield). Запропоновано новій асерційний метод верифікації та діагностування HDL-коду проектованої цифрової системи; апаратно реалізовано новий метод удубованого діагностування апаратних модулів цифрової системи на кристалі; впроваджено у технологічний процес проектування новий метод аналізу тестопридатності системного HDL-коду та RTL-моделі цифрової структури на кристалі; виконано імплементацію в маршрут проектування удосконаленої інфраструктури верифікації та діагностування системних HDL-моделей цифрових проектів; апапатно реалізовано удосконалену інфраструктуру убудованого діагностування і ремонту цифрових систем на кристалах; інструктивно оформлено у вигляді нової організаційної інфраструктури модель процесу проектування, верифікації та діагностування цифрових систем на кристалах. Інфраструктура сервісного обслуговування SoC на стадіях проектування й експлуатації дозволяє оцінювати тестопридатність програмних і апартних модулів шляхом побудови транзакційного графу. Використання механізму асерцій та ІЕЕЕ 1500 SECT стандарту дає можливість підвищити ефективність засобів моделювання, діагностування та відновлення процездатності.
Ключові слова: цифрова система на кристалі, верифікація, діагностування, тестування, інфраструктура сервісного обслуговування, механізм асерцій, тестопридатність, транзакційний граф.