CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC

@inproceedings{pub7380,
    author = {

Le, Hoang M.
 and 

Drechsler, Rolf
},
    title = {CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC},
    booktitle = {Design and Verification Conference - Proceedings. Design and Verification Conference (DVCon Europe-15), October 14-15, München, Germany},
    year = {2014},
    publisher = {nnn}
}