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
{"_id":"PrDRsuhM7MZrRMM7Q","bibbaseid":"haedicke-le-groe-drechsler-craveanadvancedconstrainedrandomverificationenvironmentforsystemc-2012","downloads":0,"creationDate":"2015-06-12T22:13:34.143Z","title":"CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC","author_short":["Haedicke, F.","Le, H. M.","Große, D.","Drechsler, R."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mbmv/HaedickeLGD12","bibdata":{"title":"CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC","author":["Finn Haedicke","Hoang M. Le","Daniel Große","Rolf Drechsler"],"author_short":["Haedicke, F.","Le, H. M.","Große, D.","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)","bibtex":"@inproceedings{ dblp2283986,\n title = {CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC},\n author = {Finn Haedicke and Hoang M. Le and Daniel Große and Rolf Drechsler},\n author_short = {Haedicke, F. and Le, H. M. and Große, D. and Drechsler, R.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2283986},\n id = {dblp2283986},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mbmv/HaedickeLGD12},\n url = {},\n conference = {MBMV},\n pages = {37-48},\n text = {MBMV 2012:37-48},\n booktitle = {Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}\n}","bibbaseid":"haedicke-le-groe-drechsler-craveanadvancedconstrainedrandomverificationenvironmentforsystemc-2012","role":"author","urls":{},"downloads":0},"search_terms":["crave","advanced","constrained","random","verification","environment","systemc","haedicke","le","große","drechsler"],"keywords":[],"authorIDs":[],"dataSources":["hixPoSoP7SYFZX6dq"]}