Как логический синтез используется в проектировании цифровых систем?

Логический синтез используется в проектировании цифровых систем для перехода от абстрактного описания к реальной технологической модели. habr.com

Некоторые цели применения логического синтеза:

• Минимизация размера логического элемента, количества ячеек и их размера. www.geeksforgeeks.org
• Минимизация мощности при переключении между вентилями. www.geeksforgeeks.org
• Максимизация производительности с точки зрения тактовой частоты синхронных систем и пропускной способности для асинхронных. www.geeksforgeeks.org
• Быстрое создание точных функциональных моделей. www.geeksforgeeks.org

Процесс логического синтеза включает несколько этапов: www.geeksforgeeks.org

1. Синтаксический анализ. www.geeksforgeeks.org Принимает входные данные и проверяет наличие синтаксических ошибок. www.geeksforgeeks.org
2. Определение библиотеки. www.geeksforgeeks.org Предоставляет и распределяет стандартные ячейки и библиотеки IP. www.geeksforgeeks.org
3. Разработка и привязка. www.geeksforgeeks.org Преобразует RTL в логическую структуру, связывает все ячейки и делает библиотеки доступными. www.geeksforgeeks.org
4. Определение ограничений. www.geeksforgeeks.org Устанавливаются параметры, в соответствии с которыми будет функционировать чип, например, тактовая частота, энергоэффективность. www.geeksforgeeks.org
5. Оптимизация перед сопоставлением. www.geeksforgeeks.org Выполняется сопоставление с общими ячейками в библиотеке. www.geeksforgeeks.org
6. Технологическое сопоставление. www.geeksforgeeks.org Выполняется сопоставление универсальных библиотек с технологическими библиотеками. www.geeksforgeeks.org
7. Оптимизация после сопоставления. www.geeksforgeeks.org Изменяется конструкция ворот в соответствии с ограничениями. www.geeksforgeeks.org
8. Отчёт и экспорт. www.geeksforgeeks.org Выдаются конечные результаты вместе с отчётами о сроках выполнения и экспорте. www.geeksforgeeks.org

Логический синтез является ключевым и универсальным инструментом при проектировании цифровых систем и их реализации в виде ПЛИС, физических прототипов и виртуальных прототипов кристаллов. www.chipnews.ru