Don't cares based dynamic test vector compaction in SAT-ATPG.

Kareem Habib Mona Safar Mohamed Dessouky Ashraf Salem

Published in: MWSCAS (2014)

Keyphrases

neural network
dynamic environments
database
information systems
website
case study
constraint satisfaction problems
satisfiability problem
sat solvers