{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:16Z","timestamp":1725486316130},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/icm.2016.7847899","type":"proceedings-article","created":{"date-parts":[[2017,2,9]],"date-time":"2017-02-09T21:43:31Z","timestamp":1486676611000},"page":"29-32","source":"Crossref","is-referenced-by-count":2,"title":["A novel assertion-based CAD tool for automatic extraction of functional coverage"],"prefix":"10.1109","author":[{"given":"Abdelrahman G.","family":"Abubakr","sequence":"first","affiliation":[]},{"given":"Hatem","family":"El-Kharashy","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"El-Yamany","sequence":"additional","affiliation":[]},{"given":"Sameh","family":"El-Ashry","sequence":"additional","affiliation":[]},{"given":"Khaled","family":"Salah","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7324-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2014.6783379"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2015.7313667"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012732"},{"journal-title":"Questa® SIM User's Manual","article-title":"MentorGraphics","year":"2011","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"journal-title":"Synopsys","article-title":"VCS User Guide","year":"2015","key":"ref12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253710"},{"key":"ref7","first-page":"146","article-title":"Covgen: A framework for automatic extraction of functional coverage models","author":"el","year":"2016","journal-title":"Quality Electronic Design (IS QED) 2016 17th International Symposium on"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICIC.2009.114"},{"journal-title":"Opencores SD-Card protocol","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"}],"event":{"name":"2016 28th International Conference on Microelectronics (ICM)","start":{"date-parts":[[2016,12,17]]},"location":"Giza, Egypt","end":{"date-parts":[[2016,12,20]]}},"container-title":["2016 28th International Conference on Microelectronics (ICM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7835397\/7847841\/07847899.pdf?arnumber=7847899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T20:43:31Z","timestamp":1513197811000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7847899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icm.2016.7847899","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}