Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Proseminar: Entwurfsmethoden - Wintersemester 05/06
Material
Themen
| Alternative Zerlegungstypen und OKFDDs | ||
| Arithmetische Schaltkreise | ||
| Funktional reduzierte And-Inverter-Graphen | ||
| Ganzzahlige lineare Optimierung | ||
| Globales Routing | ||
| Lineare Optimierung mit dem Simplex-Algorithmus | ||
| Partitionierung von Schaltungen | ||
| SAT-Solver | ||
| Variablenordnungen bei OBDDs | ||