Центральным этапом процесса проектирования цифровой микроэлектронной аппаратуры является логический синтез — построение схемы в заданном базисе по RTL-модели, представленной на языке описания аппаратуры (Verilog или VHDL). Для логического синтеза применяется широкий спектр средств: разного рода трансформации (включая технологическое отображение), формальная проверка эквивалентности, имитационное моделирование и др. От эффективности этих средств во многом зависит качество получаемой аппаратуры:...

Отрасль

Информатика

Цель

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

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

Набор инструментов, предназначенных для представления, анализа и оптимизации логических схем:
* инструмент имитационного моделирования схем;
* инструмент трансформации схем путем переписывания;
* инструмент оптимизации временных характеристик;
* инструмент формальной проверки эквивалентности;
* инструмент технологического отображения;
* инструмент структурного синтеза конечных автоматов;
* инструмент генерации проверяющих и диагностических тестов.