Эвристический логический минимизатор эспрессо
-
Основы логики ESPRESSO
- ESPRESSO — это компьютерная программа для минимизации сложности цифровых логических схем.
- Программа была разработана в IBM в 1982 году и усовершенствована в последующие годы.
- ESPRESSO вдохновила создание множества производных алгоритмов.
-
Проектирование цифровых логических схем
- Цифровые системы состоят из комбинационных схем и элементов памяти.
- Логический синтез включает проектирование комбинационных схем и их соединение.
- Процесс начинается с минимизации логики и заканчивается логической оптимизацией.
-
Классические методы минимизации
- Ручные методы минимизации, такие как карты Карно, трудоемки и подвержены ошибкам.
- Табличный метод Куайна-Маккласки эффективен для ограниченного числа переменных, но неэффективен в больших масштабах.
-
Алгоритм приготовления ЭСПРЕССО
- ESPRESSO разработан для минимизации двухуровневой логики без риска.
- Программа манипулирует «кубиками» для минимизации функций, что значительно сокращает использование памяти и время вычислений.
- ESPRESSO широко используется в современных инструментах логического синтеза.
-
Программное обеспечение ESPRESSO
- Оригинальная программа ESPRESSO доступна на Си и была обновлена до версии 2.3 в 1988 году.
- Logic Friday — это графический интерфейс для ESPRESSO и misII, а Minilog — это программа для минимизации логики с поддержкой до 40 входов и выходов.
- ESPRESSO-IISOJS — это реализация ESPRESSO-II на JavaScript с дополнительными оптимизациями.
-
Рекомендации
- Для дальнейшего чтения рекомендуется ознакомиться с источниками, указанными в статье.