Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Test Pattern Generation Using Boolean Proof Engines

0/5 ( ratings)

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. 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. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work.

Language: English

Pages: 192

Format: Hardcover

Publisher: Springer

Release: April 28, 2009

ISBN: 9048123593

ISBN 13: 9789048123599

Test Pattern Generation Using Boolean Proof Engines

Rolf Drechsler

0/5 ( ratings)

Read Download

Language: English

Pages: 192

Format: Hardcover

Publisher: Springer

Release: April 28, 2009

ISBN: 9048123593

ISBN 13: 9789048123599

Subscribe to Read | $0.00

Popular Genres

Subscribe to Read | $0.00

Test Pattern Generation Using Boolean Proof Engines

Test Pattern Generation Using Boolean Proof Engines

Test Pattern Generation Using Boolean Proof Engines

More books from Rolf Drechsler

Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, ... (Lecture Notes in Computer Science)

Spectral Techniques in VLSI CAD

Robustness and Usability in Modern Design Flows

Advanced BDD Optimization

Binary Decision Diagrams: Theory and Implementation

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Exact Design of Digital Microfluidic Biochips

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Formal Specification Level: Concepts, Methods, and Algorithms

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Computer: Wie funktionieren Smartphone, Tablet &amp; Co.? (Technik im Fokus) (German Edition)

Computer: Wie funktionieren Smartphone, Tablet &amp; Co.? (Technik im Fokus) (German Edition)

Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (German Edition)

Advanced Formal Verification

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

High Quality Test Pattern Generation and Boolean Satisfiability

Towards One-Pass Synthesis

Formal System Verification: State-of the-Art and Future Trends

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)