Чура И. И. Методы структурной верификации в конструкторских задачах автоматизированного проектирования МЭУ

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