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