Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler. CRAVE: An advanced constrained random verification environment for SystemC. In 2012 International Symposium on System on Chip, ISSoC 2012, Tampere, Finland, October 10-12, 2012. pages 1-7, IEEE, 2012. [doi]
Abstract is missing.