Publikation
Stephan Eggersglüß; Melanie Diepenbeck; Robert Wille; Rolf Drechsler
In: Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-12), IEEE, 2012.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023