KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3394966

Formal synthesis in circuit design - a classification and survey

Kumar, Ramayya; Blumenroehr, Christian; Eisenbiegler, Dirk; Schmid, Detlef



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator ISBN: 3-540-61937-2
URN: urn:nbn:de:swb:90-AAA3394966
KITopen ID: 339496
Erschienen in Formal methods in computer-aided design. FMCAD '96. Ed.: M. Srivas
Verlag Springer, Berlin
Seiten 294-309
Serie Lecture notes in computer science ; 1166
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page