Search academic texts

Information × Registration Number 0494U002143, Candidate dissertation Status к.т.н. Date 15-11-1993 popup.evolution o Title Author Лунтовский Андрей Олегович, popup.head Киселев Г.Д. popup.opponent Евдокимов В.Ф. popup.opponent Чебаненко Т.М. Description Объект исследования: Принципиальные и функциональные схемы цифровой аппаратуры. Цель исследования: Разработка функционально полной методологии комплексной верификации принципиальных и функциональных схем цифровой аппаратуры. Методы исследования и аппаратура: Использован аппарат теории множеств, графов, конечных автоматов, сеток Петри, баз данных и искусственного интелекта, численных методов, теории вероятности, математической статистики и планирования экспериментов. Теоретические результаты и новизна: Предложена методология комплексной верификации схем цифровой аппаратуры, которая складывается из методик формирования математической модели элемента, структурного и статистического анализа схемы. Практические результаты и новизна: Практическую ценность диссертации составляет комплекс программ, который позволяет проводить верификацию схем цифровой аппаратуры с помощью разработанных методик. Предмет и степень внедрения: Предложенные методики реализованы в комплексе программ на ЭВМ типа IBM PC. Внедрено в нескольких учреждениях Украины. Эффективность внедрения: Экономический эффект не определен. Сфера (область) использования: Учреждения по разработке САПР, высшие учебные заведения соответствующего профиля. Registration Date 1993-11-15 popup.nrat_date 2020-05-17 Close