Media type: Book; Thesis Title: Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Contributor: Kropf, Thomas [Author] Published: Düsseldorf: VDI-Verl., 1993 Published in: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 9 ; 174 Issue: Als Ms. gedr. Extent: IX, 147 S.; zahlr. graph. Darst Language: German ISBN: 3181474096 Origination: RVK notation: ZN 4940 : Integrierte Schaltungen für Rechnerbausteine und Mikroprozessoren Keywords: Digitalschaltung > Temporale Logik > Hardwareverifikation > Testmustergenerierung Footnote: Literaturverz. S. 136 - 145
Departmental Library DrePunct – open access area Shelf-mark: ZN 1701-174 Item ID: 30525201 Status: Loanable