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