Login

Drechsler, Rolf

Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

124,00€

PDF with Adobe DRM
ISBN: 9789048123605
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction

2. Preliminaries

3. Boolean Satisfiability

4. SAT-Based ATPG

5. Learning Techniques

6. Multiple-Valued Logic

7. Improved Circuit-to-CNF Conversion

8. Branching Strategies

9. Integration into Industrial Flow

10. Delay Faults

11. Summary and Outlook

Keywords: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation

Author(s)
 
 
 
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Page amount
204 pages
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9789048123605

Similar titles