CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. Haedicke, F., Le, H. M., Große, D., & Drechsler, R. In Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 37-48, 2012.
bibtex   
@inproceedings{ dblp2283986,
  title = {CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC},
  author = {Finn Haedicke and Hoang M. Le and Daniel Große and Rolf Drechsler},
  author_short = {Haedicke, F. and Le, H. M. and Große, D. and Drechsler, R.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2283986},
  id = {dblp2283986},
  biburl = {http://www.dblp.org/rec/bibtex/conf/mbmv/HaedickeLGD12},
  url = {},
  conference = {MBMV},
  pages = {37-48},
  text = {MBMV 2012:37-48},
  booktitle = {Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}
}

Downloads: 0