Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen

• Applicant: Professor Dr. Bernd Becker
• Subject Area: Computer Science
• Term: from 1995 to 2001
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5209416

Ausgehend von den bereits in den vergangenen Förderperioden erzielten Ergebnissen sollen die Arbeiten mit folgenden Schwerpunkten fortgesetzt bzw. abgeschlossen werden:Logiksynthese: - Zweistufige Realisierungen durch Minimierung von allgemeinen Exclusive Sum of Products (ESOPs)- Mehrstufige Realisierungen unter Verwendung von EXOR als Grundgatter, Integration von ESOPs, exakter Synthese und Transformationen. Verifikation: - Verifikation von (arithmetischen)Schaltungen mit EXOR-basierten, word-level Datenstrukturen- Algorithmen für die sequentielle Verifikation mit dem MORE-Konzept.

• DFG Programme: Priority Programmes
• Subproject of: SPP 731: Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen