Эвристический логический минимизатор эспрессо

• Основы логики ESPRESSO

  • ESPRESSO – это компьютерная программа для минимизации сложности цифровых логических схем. 
  • Программа была разработана в IBM в 1982 году и усовершенствована в последующие годы. 
  • ESPRESSO вдохновила создание множества производных алгоритмов. 

• Проектирование цифровых логических схем

  • Цифровые системы состоят из комбинационных схем и элементов памяти. 
  • Логический синтез включает проектирование комбинационных схем и их соединение. 
  • Процесс начинается с минимизации логики и заканчивается логической оптимизацией. 

• Классические методы минимизации

  • Ручные методы минимизации, такие как карты Карно, трудоемки и подвержены ошибкам. 
  • Табличный метод Куайна-Маккласки эффективен для ограниченного числа переменных, но неэффективен в больших масштабах. 

• Алгоритм приготовления ЭСПРЕССО

  • ESPRESSO разработан для минимизации двухуровневой логики без риска. 
  • Программа манипулирует “кубиками” для минимизации функций, что значительно сокращает использование памяти и время вычислений. 
  • ESPRESSO широко используется в современных инструментах логического синтеза. 

• Программное обеспечение ESPRESSO

  • Оригинальная программа ESPRESSO доступна на Си и была обновлена до версии 2.3 в 1988 году. 
  • Logic Friday – это графический интерфейс для ESPRESSO и misII, а Minilog – это программа для минимизации логики с поддержкой до 40 входов и выходов. 
  • ESPRESSO-IISOJS – это реализация ESPRESSO-II на JavaScript с дополнительными оптимизациями. 

• Рекомендации

  • Для дальнейшего чтения рекомендуется ознакомиться с источниками, указанными в статье.