50 followers
Promoting my new Springer book ;-) "High Quality Test[...] Gen. and [SAT]". . Please recommend it to your library. :) http://t.co/Z1Bxb8oE
High Quality Test Pattern Generation and Boolean Satisfiability
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Circuits and Testing
-
Altmetric BadgeChapter 3 Boolean Satisfiability
-
Altmetric BadgeChapter 4 ATPG Based on Boolean Satisfiability
-
Altmetric BadgeChapter 5 Dynamic Clause Activation
-
Altmetric BadgeChapter 6 Circuit-Based Dynamic Learning
-
Altmetric BadgeChapter 7 High Quality ATPG for Transition Faults
-
Altmetric BadgeChapter 8 Path Delay Fault Model
-
Altmetric BadgeChapter 9 Summary and Outlook