Логическая оптимизация
-
Основы логической оптимизации
- Логическая оптимизация — это процесс поиска эквивалентного представления логической схемы с ограничениями.
- Оптимизация является частью логического синтеза в электронике и разработке интегральных схем.
- Цель оптимизации — создание схемы меньшего размера с теми же функциональными возможностями.
-
Мотивация и методы
- Сложность схемы приводит к необходимости минимизации для уменьшения затрат на производство и время.
- Графические методы упрощения логических схем включают диаграммы Эйлера, Венна и Карно.
- Методы минимизации логических выражений включают алгоритм Куайна-Маккласки и эвристический метод Петрика.
- Точные методы синтеза применимы только для небольших функций, современные подходы используют SAT-решатели.
- Эвристические методы, такие как Espresso, обеспечивают большую часть желаемой оптимизации.
-
Двухуровневые и многоуровневые представления
- Двухуровневое представление использует SOPs и ORs, а многоуровневое — произвольные комбинации SOPs, POSs и других форм.
- Алгоритмы оптимизации работают с SOPs или функциональными представлениями схем.
-
Пример логической оптимизации
- Пример показывает, как упростить логическую функцию, используя законы булевой алгебры и интуицию.
- Две схемы, представленные в примере, эквивалентны, что можно проверить с помощью таблицы истинности.
Полный текст статьи: