Tipsa dina vänner om produkten:
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler 2009 edition
Pris
SEK 1.209
Beställningsvara
Förväntad leverans 8 - 19 jan 2026
Julklappar kan bytas fram till 31:e januari
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
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 30 april 2009 |
| ISBN13 | 9789048123599 |
| Utgivare | Springer |
| Antal sidor | 192 |
| Mått | 155 × 235 × 12 mm · 467 g |
| Språk | Engelska |
Fler produkter med Rolf Drechsler
Visa alla
![Cover for Rolf Drechsler · Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (Pocketbok) [1. Aufl. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/124/9783658324124.jpg?rolf-drechsler-2021-noch-analog-oder-lebst-du-schon-mit-n-rdman-durch-die-welt-von-heute-und-morgen-pocketbok&class=scaled&v=1609659585)
![Cover for Rolf Drechsler · Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (Pocketbok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/930/9783658099930.jpg?rolf-drechsler-2015-formal-modeling-and-verification-of-cyber-physical-systems-1st-international-summer-school-on-methods-and-tools-for-the-design-of-digital-systems-bremen-germany-september-2015-pocketbok&class=scaled&v=1473757248)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Pocketbok) [Softcover reprint of the original 1st ed. 2003 edition] (2012)](https://imusic.b-cdn.net/images/item/original/621/9781461353621.jpg?rolf-drechsler-2012-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-pocketbok&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Pocketbok) [Softcover reprint of hardcover 1st ed. 2002 edition] (2010)](https://imusic.b-cdn.net/images/item/original/790/9781441952790.jpg?rolf-drechsler-2010-towards-one-pass-synthesis-pocketbok&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Pocketbok) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/206/9781441954206.jpg?rolf-drechsler-2010-advanced-formal-verification-pocketbok&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Pocketbok) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/475/9781441950475.jpg?rolf-drechsler-2010-binary-decision-diagrams-theory-and-implementation-pocketbok&class=scaled&v=1547260580)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Pocketbok) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/406/9781441950406.jpg?rolf-drechsler-2010-evolutionary-algorithms-for-vlsi-cad-pocketbok&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Pocketbok) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/851/9781441949851.jpg?rolf-drechsler-2010-formal-verification-of-circuits-pocketbok&class=scaled&v=1614979876)
![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 Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Pocketbok) [German, 1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/490/9783519021490.jpg?rolf-drechsler-1998-graphenbasierte-funktionsdarstellung-boolesche-und-pseudo-boolesche-funktionen-xleitfaden-der-informatik-pocketbok&class=scaled&v=1412636882)
Se alt med Rolf Drechsler ( t.ex. Pocketbok , Inbunden Bok och Bok )