ОКР «Разработка комплекса модулей САПР для отладки, анализа и оптимизации цифровых СБИС на вентильном уровне», шифр «Оптимизация» - НИУ МИЭТ