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

Отрасль

Кибернетика

Цель

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

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

Улучшение характеристик работы компонента логической оптимизации схем
- Профилирование (в т.ч. с помощью фаззинга) текущих реализаций алгоритмов и исправление найденных дефектов
Улучшение характеристик работы компонента технологического отображения
- Разработка модуля генерации супер-триггеров
Улучшение характеристик работы компонента проверки логической эквивалентности
- Профилирование (в т.ч. с помощью фаззинга) текущих реализаций алгоритмов и исправление найденных дефектов
Тестовый набор для Utopia EDA