> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Scalable hardware verification with symbolic simulation Enthält: Literaturverz. S. 168 - 174 Beteiligte: Bertacco, Valeria [VerfasserIn] Erschienen: New York, NY: Springer, 2006 Umfang: XX, 177 S.; graph. Darst Sprache: Englisch ISBN: 0387244115; 9780387244112 RVK-Notation: ZN 4030 : Prüfverfahren in der Technischen Elektronik allgemein; Fehlererkennungsschaltungen; Test elektronischer Schaltungen und Bauelemente Schlagwörter: Hardwareverifikation > Simulation Entstehung: Anmerkungen: