Tipsa dina vänner om produkten:
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler 2009 edition
Pris
SEK 1.239
Beställningsvara
Förväntad leverans 7 - 21 sep
Få avisering om nya utgåvor med Rolf Drechsler
Lägg till din iMusic-önskelista
eller
Finns även 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
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Inbunden 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-inbunden-bok&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Inbunden Bok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-inbunden-bok&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Inbunden 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-inbunden-bok&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Inbunden Bok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-inbunden-bok&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Inbunden Bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-inbunden-bok&class=scaled&v=1410211703)
![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)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-inbunden-bok&class=scaled&v=1786374320)
