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 |