Media type: Book Title: Scalable hardware verification with symbolic simulation Contains: Literaturverz. S. 168 - 174 Contributor: Bertacco, Valeria [Author] imprint: New York, NY: Springer, 2006 Extent: XX, 177 S.; graph. Darst Language: English ISBN: 0387244115; 9780387244112 RVK notation: ZN 4030 : Prüfverfahren in der Technischen Elektronik allgemein; Fehlererkennungsschaltungen; Test elektronischer Schaltungen und Bauelemente Keywords: Hardwareverifikation > Simulation Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZN 4030 B536 Item ID: 31491241 Status: Loanable