{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:36:17Z","timestamp":1725539777007},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/hldvt.2008.4695895","type":"proceedings-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T11:43:50Z","timestamp":1228909430000},"page":"153-157","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation of an efficient control-oriented coverage metric"],"prefix":"10.1109","author":[{"given":"Kiran","family":"Ramineni","sequence":"first","affiliation":[]},{"given":"Shireesh","family":"Verma","sequence":"additional","affiliation":[]},{"given":"Ian G.","family":"Harris","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"369","article-title":"data flow fault coverage metric for validation of behavioral hdl descriptions","author":"zhang qiushuang","year":"2000","journal-title":"IEEE\/ACM International Conference on Computer-Aided Design Digest of Technical Papers"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2005.1466181"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2000.889572"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/12.656068"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/92.386221"},{"key":"11","first-page":"161","article-title":"an efficient observability evaluation algorithm based on factored use-def chains","author":"lv","year":"2003","journal-title":"Asian Test Symposium"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.1997.618893"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317431"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935512"},{"journal-title":"Software Testing Techniques Second Edition","year":"1990","author":"beizer","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252492"},{"key":"6","first-page":"152","article-title":"OCCOM: efficient computation of observability-based code coverage metrics for functional verification","author":"fallah","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840300"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/43.159992"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.557150"}],"event":{"name":"2008 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2008,11,19]]},"location":"Incline Village, NV, USA","end":{"date-parts":[[2008,11,21]]}},"container-title":["2008 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4690895\/4695856\/04695895.pdf?arnumber=4695895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T14:02:59Z","timestamp":1489759379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4695895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2008.4695895","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}