Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
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