Amanote Research
Register
Sign In
Improving Test Pattern Compactness in SAT-based ATPG
doi 10.1109/ats.2007.14
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2007
Authors
Stephan Eggersgluss
Rolf Drechsler
Publisher
IEEE
Related search
Ring Counter Based ATPG for Low Transition Test Pattern Generation
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Improving SAT Solver Performance With Structure-Based Preferential Bumping
Perceptron Architecture Ensuring Pattern Description Compactness
Scientific Journal of Riga Technical University. Computer Sciences
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
SAT-based Techniques in System Synthesis
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic Engineering
Electrical
Sequential Compactness vs. Countable Compactness
Colloquium Mathematicum
Mathematics
Specification-Based Program Repair Using SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SAT-Based Compositional Verification Using Lazy Learning
