{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:58:15Z","timestamp":1725497895768},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176449","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:29Z","timestamp":1361297789000},"page":"153-158","source":"Crossref","is-referenced-by-count":4,"title":["Approximating checkers for simulation acceleration"],"prefix":"10.1109","author":[{"given":"B.","family":"Mammo","sequence":"first","affiliation":[]},{"given":"D.","family":"Chatterjee","sequence":"additional","affiliation":[]},{"given":"D.","family":"Pidan","sequence":"additional","affiliation":[]},{"given":"A.","family":"Nahir","sequence":"additional","affiliation":[]},{"given":"A.","family":"Ziv","sequence":"additional","affiliation":[]},{"given":"R.","family":"Morad","sequence":"additional","affiliation":[]},{"given":"V.","family":"Bertacco","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Building transaction-based acceleration regression environment using plan-driven verification approach","author":"shabtay","year":"2007","journal-title":"DVCON"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024915"},{"key":"18","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1145\/277044.277168","article-title":"Approximation and decomposition of binary decision diagrams","author":"ravi","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2003.1253179"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364405"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801389"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243776"},{"journal-title":"Palladium","year":"2011","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754411"},{"journal-title":"ChipScope Pro","article-title":"Xilinx Verification Tool","year":"2006","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146916"},{"journal-title":"Comprehensive Functional Verification","year":"2005","author":"wile","key":"20"},{"key":"2","first-page":"538","article-title":"FoCs: Automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Proc CAV"},{"journal-title":"Constrained-Random Test Generation and Functional Coverage with Vera","year":"2003","key":"1"},{"journal-title":"Incisive Enterprise Specman Elite Testbench","year":"2011","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935512"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/43.640619"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120878"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024916"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1297666.1297670"},{"key":"8","first-page":"294","article-title":"Adding debug enhancements to assertion checkers for hardware emulation and silicon debug","author":"boule?","year":"2006","journal-title":"Proc ICCD"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","start":{"date-parts":[[2012,3,12]]},"location":"Dresden","end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176449.pdf?arnumber=6176449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:48:06Z","timestamp":1498031286000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176449\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176449","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}