{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:27:51Z","timestamp":1725722871159},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/ets.2012.6233016","type":"proceedings-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T19:41:10Z","timestamp":1342726870000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Functional test generation for hard to detect stuck-at faults using RTL model checking"],"prefix":"10.1109","author":[{"given":"Mahesh","family":"Prabhu","sequence":"first","affiliation":[]},{"given":"Jacob A.","family":"Abraham","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Proceedings of the Design Automation Conference"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"18","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2007.13"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419843"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2009.2036184"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.782022"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219068"},{"journal-title":"OR1200","year":"0","key":"21"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48683-6_8","article-title":"Verifying safety properties of a PowerPC-microprocessor using symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Proceedings of the Computer Aided Verification"},{"journal-title":"ABC","year":"0","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"journal-title":"EBMC","year":"0","key":"24"},{"journal-title":"Boolector","year":"0","key":"25"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2000.894222"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1999.805650"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297676"},{"key":"1","article-title":"A logic design structure for LSI testability","author":"eichelberger","year":"1977","journal-title":"Proceedings of the Design Automation Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270851"},{"journal-title":"Automatic Test Pattern Generation for Functional Register-transfer Level Circuits Using Assignment Decision Diagrams","year":"2001","author":"ghosh","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041810"},{"key":"4","article-title":"Native mode functional test generation for processors with applications to self test and design validation","author":"shen","year":"1998","journal-title":"Proceedings of The International Test Conference"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2005.1583987"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2003.1240893"}],"event":{"name":"2012 17th IEEE European Test Symposium (ETS)","start":{"date-parts":[[2012,5,28]]},"location":"Annecy, France","end":{"date-parts":[[2012,5,31]]}},"container-title":["2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6222773\/6232988\/06233016.pdf?arnumber=6233016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:37:48Z","timestamp":1497980268000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6233016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ets.2012.6233016","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}