Проект ориентирован на участие в разработке исходного кода открытого средства логического синтеза и проверки логической эквивалентности Utopia EDA. Среди подсистем, имеющихся в данном средстве, можно выделить: парсер, логическая оптимизация, технологическое отображение, компонент проверки логической эквивалентности. Разработка ведется на языке Си++.

Отрасль

Кибернетика

Цель

Разработка инструментов логического синтеза цифровых СБИС, входящих в состав САПР цифровой микроэлектронной аппаратуры.

Ожидаемые результаты

Улучшение характеристик работы компонентов логической оптимизации схем (в т.ч. для поддержки современных технологических процессов)
Улучшение характеристик работы компонента технологического отображения (в т.ч. для поддержки современных технологических процессов)
Улучшение характеристик работы компонента проверки логической эквивалентности