Logikoptimierung

  • Überblick digitale Synthese
  • Logikoptimierung
  • Begriffe
  • Mehrstufige Logik
  • Zweistufige Logik: Exakte Verfahren
  • ... Heuristische Verfahren
  • ... Expansion/Reduktion
  • ... Streichen
Startseite
Zweistufige Logik: Heuristische Verfahren           Bekannte exakte Verfahren sind zu langsam für komplexeProbleme, daher werden heuristische Optimierungsverfahren einsetzt (z.B. Espresso)   - Betrachtung von Untermengen von Implikanten- Iteratives Vorgehen- Rückschritte erlauben, um lokale Minima zu vermeiden   Das Espresso-Verfahren enthält drei elementare Schritte   - Implikanten expandieren- Implikanten reduzieren - Implikanten streichen

Aufgrund der Komplexität exakter Verfahren sind heuristische Verfahren gebräuchlich. Diese basieren zwar auf exakten Verfahren, betrachten jedoch nur eine Untermenge der Implikanten und optimieren iterativ. Das bekannteste Verfahren ist in dem Programm Espresso implementiert. Die Iterationen enthalten drei elementare Schritte: Implikanten expandieren, reduzieren oder streichen. Beim Expandieren und Streichen werden Literale entfernt und beim Reduzieren werden Literale hinzugefügt.