Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints

@inproceedings{pub6825,
    author = {

Eggersglüß, Stephan
 and 

Diepenbeck, Melanie
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints},
    booktitle = {Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-12)},
    year = {2012},
    publisher = {IEEE}
}