{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:21:31Z","timestamp":1725553291314},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/ivsw.2016.7566600","type":"proceedings-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T16:54:14Z","timestamp":1473958454000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["New architecture of the object-oriented functional coverage mechanism for digital verification"],"prefix":"10.1109","author":[{"given":"Marek","family":"Cieplucha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Pleskacz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/BRICS-CCI-CBIC.2013.26"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418243"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2005.5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551379"},{"key":"ref14","article-title":"Functional coverage-driven verification with SystemC on multiple level of abstraction","author":"kuznik","year":"2011","journal-title":"Proceedings of Design and Verification Conference and Exhibition (DVCON)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISOCC.2011.6138670"},{"key":"ref16","article-title":"Enriching UVM in SystemC with AMS extensions for randomization and functional coverage","author":"vortler","year":"2014","journal-title":"Proceedings of Design and Verification Conference and Exhibition (DVCON)"},{"key":"ref17","article-title":"Coverage driven distribution of constrained random stimuli","author":"teplitsky","year":"2015","journal-title":"Proceedings of Design and Verification Conference and Exhibition (DVCON)"},{"key":"ref18","article-title":"Boosting SystemC-based testbenches with modern C++ and coverage-driven generation","author":"le","year":"2015","journal-title":"Proceedings of Design and Verification Conference and Exhibition (DVCON)"},{"year":"2013","key":"ref19"},{"journal-title":"Effective Functional Verification Principles and Processes","year":"2006","author":"vasudevan","key":"ref4"},{"journal-title":"Python Software Foundation Python Language Reference","year":"2013","key":"ref3"},{"journal-title":"Cadence Design Systems Inc","article-title":"Cadence Redefines Verification Planning and Management with Incisive vManager Solution","year":"2014","key":"ref6"},{"journal-title":"Principles of Functional Verification","year":"2003","author":"meyer","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"journal-title":"Synopsys Inc","article-title":"Functional Verification Choice of Leading SoC Design Teams","year":"2015","key":"ref7"},{"journal-title":"Structure and Interpretation of Computer Programs","year":"1996","author":"abelson","key":"ref2"},{"journal-title":"COCOTB 1 0 documentation Potential Ventures","year":"2014","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2011.6114166"},{"year":"2011","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2015.48"}],"event":{"name":"2016 1st IEEE International Verification and Security Workshop (IVSW)","start":{"date-parts":[[2016,7,4]]},"location":"Sant Feliu de Guixols, Spain","end":{"date-parts":[[2016,7,6]]}},"container-title":["2016 1st IEEE International Verification and Security Workshop (IVSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7565277\/7566596\/07566600.pdf?arnumber=7566600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T07:41:05Z","timestamp":1475653265000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7566600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2016.7566600","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}