Uni-Logo
Deutsch      
Rechnerarchitektur
        Startseite         |         Institut f�r Informatik         |         Technische Fakult�t
 
course
overview  |  time/location  |  organiser


Rechnerarchitektur und Rechnerentwurf - summer term 04

overview


description Recent work, especially from the field CAD for integrated circuits and systems, is presented.

May 07 2004, Dr. Wolfgang Günther (Infineon)
"Combinational Equivalence Checking with CVE"

May 14 2004, Jochen Eisinger
"Property Checking with CVE"

comment Graduate Seminar