Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций2008 год, кандидат физико-математических наук Камкин, Александр Сергеевич
Методы разработки и тестирования аппаратных потактовых моделей микропроцессоров на программируемых логических интегральных схемах2013 год, кандидат наук Байда, Юрий Владимирович
Спецификация и тестирование компонентов с асинхронным интерфейсом2006 год, кандидат физико-математических наук Хорошилов, Алексей Владимирович
Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций2017 год, кандидат наук Татарников Андрей Дмитриевич
Встречное тестирование высокопроизводительных микропроцессоров2013 год, кандидат наук Чибисов, Петр Александрович