Лунтовский А. О. Верификация принципиальных и функциональных схем цифровой аппаратуры

Объект исследования: Принципиальные и функциональные схемы цифровой аппаратуры. Цель исследования: Разработка функционально полной методологии комплексной верификации принципиальных и функциональных схем цифровой аппаратуры. Методы исследования и аппаратура: Использован аппарат теории множеств, графов, конечных автоматов, сеток Петри, баз данных и искусственного интелекта, численных методов, теории вероятности, математической статистики и планирования экспериментов. Теоретические результаты и новизна: Предложена методология комплексной верификации схем цифровой аппаратуры, которая складывается из методик формирования математической модели элемента, структурного и статистического анализа схемы. Практические результаты и новизна: Практическую ценность диссертации составляет комплекс программ, который позволяет проводить верификацию схем цифровой аппаратуры с помощью разработанных методик. Предмет и степень внедрения: Предложенные методики реализованы в комплексе программ на ЭВМ типа IBM PC. Внедрено в нескольких учреждениях Украины. Эффективность внедрения: Экономический эффект не определен. Сфера (область) использования: Учреждения по разработке САПР, высшие учебные заведения соответствующего профиля.