Видеоролик о технологиях ИСП РАН
Utopia EDA: система логического синтеза цифровых интегральных схем
Utopia EDA — открытая расширяемая платформа логического синтеза и верификации цифровой аппаратуры, разрабатываемая в ИСП РАН с 2021 года. Объединяет основные алгоритмы синтеза схем, их оптимизации (на логическом и технологическом уровнях) и проверки логической эквивалентности. Может использоваться как самостоятельный инструмент, так и в качестве основы для построения промышленных систем автоматизированного проектирования (САПР) интегральных схем.
Utopia EDA — это проект с открытым исходным кодом.
Особенности и преимущества
- Поддержка языков описания аппаратуры Verilog и SystemVerilog. Средства синтаксического анализа HDL-описаний базируются на открытых инструментах Yosys и slang.
- Возможность работы с Liberty-спецификациями технологических библиотек. Адаптируемость синтезатора под технологические процессы отечественных и зарубежных фабрик.
- Технологически независимая оптимизация схем по количеству вентилей и/или глубине. Поддержка широкого спектра оптимизирующих преобразований, в том числе rewrite, refactor, resubstitute и balance.
- Технологическое отображение схем с оптимизацией по площади и/или задержке. Возможность задания проектных ограничений и их учета в процессе оптимизации характеристик СБИС.
- Наличие средств проверки логической эквивалентности схем. Контроль корректности процедур синтеза и оптимизации на разных этапах проекта.
Для кого предназначена Utopia EDA?
- Разработчики САПР цифровых СБИС (основа для создания инструментов логического синтеза и доверенных маршрутов проектирования).
- Технические университеты (платформа для образовательных курсов по САПР).
Опыт внедрения
- Проекты по разработке отечественных САПР цифровых СБИС (в том числе проект «Интеллект» Фонда перспективных исследований).
- Учебный курс по проектированию цифровой аппаратуры (ВШЭ МИЭМ).
Системные требования
Операционная система Linux (Astra Linux, Ubuntu); не менее 32 ГБ оперативной памяти и 100 ГБ дискового пространства.
Перейти к списку всех технологий 