{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:05Z","timestamp":1740131945134,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T00:00:00Z","timestamp":1438387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61262082","61262017"],"award-info":[{"award-number":["61262082","61262017"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","award":["212025"],"award-info":[{"award-number":["212025"]}],"id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Inner Mongolia Science Foundation for Distinguished Young Scholars","award":["2012JQ03"],"award-info":[{"award-number":["2012JQ03"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2015,8,1]]},"DOI":"10.1109\/tc.2014.2360540","type":"journal-article","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T19:26:53Z","timestamp":1411759613000},"page":"2408-2414","source":"Crossref","is-referenced-by-count":6,"title":["A Quantitative Characterization of Cross Coverage"],"prefix":"10.1109","volume":"64","author":[{"given":"Jiantao","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caihe","family":"Lan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5024-7544","authenticated-orcid":false,"given":"William N. N.","family":"Hung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinrui","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.173"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003698"},{"journal-title":"Constraint-Based Verification","year":"2006","author":"yuan","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0715-7"},{"key":"ref12","first-page":"315","article-title":"Hardware emulation for functional verification of K5","author":"ganapathy","year":"0","journal-title":"Proc Des Autom Conf"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2006.295704"},{"journal-title":"FPGA-based Prototyping Methodology Manual Best Practices in Design-for-prototyping","year":"2011","author":"amos","key":"ref14"},{"key":"ref15","first-page":"120","article-title":"Smart simulation using collaborative formal and simulation engines","author":"ho","year":"0","journal-title":"Proc Int Conf Comput -Aided Des"},{"year":"0","key":"ref16"},{"year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810715"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref28","first-page":"446","article-title":"A Markov chain Monte Carlo sampler for mixed boolean\/integer constraints","volume":"5643","author":"kitchen","year":"0","journal-title":"Proc 21st Int Conf Comput Aided Verification"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/277044.277210","article-title":"Functional verification of large ASICs","author":"evans","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_46"},{"journal-title":"Verification Methodology Manual for SystemVerilog","year":"2006","author":"bergeron","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1126\/science.267.5195.175"},{"year":"0","author":"hung","key":"ref29"},{"key":"ref5","article-title":"Lies, damned lies and hardware verification","author":"bartley","year":"2008","journal-title":"Synopsys User Group"},{"year":"0","key":"ref8"},{"year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1539-9_3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.800452"},{"year":"0","key":"ref22"},{"year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823348"},{"key":"ref23","first-page":"142","article-title":"A framework for constrained functional verification","author":"yuan","year":"0","journal-title":"Proc Int Conf Comput -Aided Des"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270852"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/7151894\/06911941.pdf?arnumber=6911941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:09Z","timestamp":1642003269000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6911941\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,1]]},"references-count":32,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tc.2014.2360540","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2015,8,1]]}}}