Fortell venner om denne varen:
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler 2009 edition
Pris
NOK 1.129
Bestillingsvarer
Forventes levert 29. mai - 12. jun
Legg til iMusic ønskeliste
eller
Finnes også som:
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.
192 pages, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. april 2009 |
| ISBN13 | 9789048123599 |
| Utgivere | Springer |
| Antall sider | 192 |
| Mål | 155 × 235 × 12 mm · 467 g |
| Språk | Engelsk |
Mer med Rolf Drechsler
Vis alle![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Innbunden bok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-innbunden-bok&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Innbunden bok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-innbunden-bok&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Innbunden bok) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-innbunden-bok&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Innbunden bok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-innbunden-bok&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Innbunden bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-innbunden-bok&class=scaled&v=1410211703)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Se alt med Rolf Drechsler ( f.eks. Pocketbok , Innbunden bok og Bok )