Login / Signup
Satisfiability-Based Automatic Test Program Generation and Design for Testability for Microprocessors.
Loganathan Lingappan
Niraj K. Jha
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2007)
Keyphrases
</>
case study
building blocks
design principles
control program
data sets
semi automatic
test cases
design process
fully automatic
user interface
phase transition
satisfiability problem
engineering design
propositional logic
experimental design
software testing
single chip
test data generation
artificial intelligence