Minimal Stimuli Generation in Simulation-based Verification

@inproceedings{pub6821,
    author = {

Yang, Shuo
 and 

Wille, Robert
 and 

Grosse, Daniel
 and 

Drechsler, Rolf
},
    editor = {

Matos, José Silva
 and 

Leporati, Francesco
},
    title = {Minimal Stimuli Generation in Simulation-based Verification},
    booktitle = {16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-13), 16th, located at SEAA 2013, September 4-6, Santander, Spain},
    year = {2013},
    pages = {439--444},
    publisher = {IEEE Press}
}