С.В. Гаврилов - д.т.н., профессор, зав. отделом автоматизации проектирования цифровых схем, Институт проблем проектирования в микроэлектронике РАН (Москва). E-mail: sergey_g @ippm.ru Г.А. Иванова - мл. науч. сотрудник, отдел автоматизации проектирования цифровых схем, Институт проблем проектирования в микроэлектронике РАН (Москва). E-mail: pirutina_g@ippm.ru Д.И. Рыжова - мл. науч. сотрудник, отдел автоматизации проектирования цифровых схем, Институт проблем проектирования в микроэлектронике РАН (Москва). E-mail: ryzhova_d@ippm.ru А.Л. Стемпковский - д.т.н., академик РАН, профессор, директор Института проблем проектирования в микроэлектронике РАН (Москва). E-mail: stal09@ippm.ru