{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:58:08Z","timestamp":1725505088339},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/hldvt.2007.4392806","type":"proceedings-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T17:16:34Z","timestamp":1216660594000},"page":"159-164","source":"Crossref","is-referenced-by-count":7,"title":["Automatic generation of functional coverage models from CTL"],"prefix":"10.1109","author":[{"given":"Shireesh","family":"Verma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian G.","family":"Harris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiran","family":"Ramineni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","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":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307540"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252492"},{"key":"ref13","article-title":"Coverage-oriented verification of Banias","author":"gluska","year":"2003","journal-title":"in Design Automation Conference ACM Press"},{"key":"ref14","article-title":"User defined coverage - a tool supported methodology for design verification","author":"grinwald","year":"1998","journal-title":"in Design Automation Conference ACM Press"},{"key":"ref15","article-title":"The Art of Verification with Vera","author":"haque","year":"2001","journal-title":"Verification Central"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2003.1214351"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"2002","author":"hennessy","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1996.545595"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996580"},{"key":"ref4","article-title":"Verifying large-scale multiprocessors using an abstract verification environment","author":"abts","year":"1999","journal-title":"in Design Automation Conference ACM Press"},{"journal-title":"VIS","year":"0","key":"ref3"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"ref6"},{"key":"ref5","article-title":"Efficient detection of vacuity in ACTL formulas","author":"beer","year":"1997","journal-title":"CAV"},{"journal-title":"FMCAD","article-title":"Coverage-directed test generation using symbolic techniques","year":"1996","key":"ref8"},{"key":"ref7","article-title":"A study in coverage-driven test generation","author":"benjamin","year":"1999","journal-title":"in Design Automation Conference ACM Press"},{"journal-title":"Open vera","year":"0","key":"ref2"},{"key":"ref9","article-title":"Functional verification methodology of chameleon processor","author":"casaubieilh","year":"1996","journal-title":"in Design Automation Conference ACM Press"},{"journal-title":"ASPIDA","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref22","article-title":"Simulation-guided property checking based on multivalued ar-automata","author":"ruf","year":"2001","journal-title":"Design Automation Test in Europe Conf Exhibition"},{"key":"ref21","article-title":"Functional verification methodology for the POWERPC 604tm microprocessor","author":"monaco","year":"1996","journal-title":"in Design Automation Conference ACM Press"},{"key":"ref24","article-title":"Deriving a simulation input generator and a coverage metric from a formal specification","author":"shimizu","year":"2002","journal-title":"in Design Automation Conference ACM Press"},{"key":"ref23","article-title":"Functional verification of equator map 1000 microprocessor","author":"shen","year":"1999","journal-title":"in Design Automation Conference ACM Press"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03809-3"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253710"}],"event":{"name":"2007 IEEE International High Level Design Validation and Test Workshop","start":{"date-parts":[[2007,11,7]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2007,11,9]]}},"container-title":["2007 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4392771\/4392772\/04392806.pdf?arnumber=4392806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:10:22Z","timestamp":1497766222000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4392806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2007.4392806","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}