Skip to contents Radecka, Katarzyna [Author]; Zilic, Zeljko [Author] Verification by error modeling : using testing techniques in hardware verification Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer, 2003 Published in: Frontiers in electronic testing Fujita, Masahiro [Author]; Ghosh, Indradeep [Author]; Prasad, Mukul [Author] Verification techniques for system-level design Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2008 Published in: The Morgan Kaufmann series in systems on silicon Pierre, Laurence [Editor] ; CHARME 10 1999 Bad Herrenalb Correct hardware design and verification methods : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1999 Published in: Lecture notes in computer science ; 1703 Hachtel, Gary D. [Author]; Somenzi, Fabio [Author] Logic synthesis and verification algorithms - [1st softcover ed] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2006 Pierre, Laurence [Author] ; Kropf, Thomas [Other] Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1703
Radecka, Katarzyna [Author]; Zilic, Zeljko [Author] Verification by error modeling : using testing techniques in hardware verification Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer, 2003 Published in: Frontiers in electronic testing
Fujita, Masahiro [Author]; Ghosh, Indradeep [Author]; Prasad, Mukul [Author] Verification techniques for system-level design Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2008 Published in: The Morgan Kaufmann series in systems on silicon
Pierre, Laurence [Editor] ; CHARME 10 1999 Bad Herrenalb Correct hardware design and verification methods : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1999 Published in: Lecture notes in computer science ; 1703
Hachtel, Gary D. [Author]; Somenzi, Fabio [Author] Logic synthesis and verification algorithms - [1st softcover ed] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2006
Pierre, Laurence [Author] ; Kropf, Thomas [Other] Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1703
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (2) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Language Skip to next facet English (4) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (5) Wert ausschließen Computer science (3) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Pierre, Laurence (2) Wert ausschließen CHARME 10 1999 Bad Herrenalb (1) Wert ausschließen Fujita, Masahiro (1) Wert ausschließen Ghosh, Indradeep (1) Wert ausschließen Hachtel, Gary D. (1) Wert ausschließen Kropf, Thomas (1) Wert ausschließen Prasad, Mukul (1) Wert ausschließen Radecka, Katarzyna (1) Wert ausschließen Somenzi, Fabio (1) Wert ausschließen Zilic, Zeljko (1) Wert ausschließen Show more show less