CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC Author(s): Hoang M. Le and Rolf Drechsler Download