Verifying imprecisely working arithmetic circuits

Huhn, Michaela; Schneider, Klaus; Kropf, Thomas; Logothetis, Georgios

Seitenaufrufe: 30
seit 10.12.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp	Buchaufsatz
Publikationsjahr	1999
Sprache	Deutsch
Identifikator	KITopen-ID: 328599
Erscheinungsvermerk	In: Design, automation and test in Europe. DATE-98, Paris, France 1998. Los Alamitos 1999.