{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:31:29Z","timestamp":1725481889140},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/isqed.2014.6783384","type":"proceedings-article","created":{"date-parts":[[2014,4,16]],"date-time":"2014-04-16T17:24:16Z","timestamp":1397669056000},"page":"618-624","source":"Crossref","is-referenced-by-count":6,"title":["Simulation and satisfiability guided counter-example triage for RTL design debugging"],"prefix":"10.1109","author":[{"given":"Zissis","family":"Poulos","sequence":"first","affiliation":[]},{"given":"Yu-Shen","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[]},{"given":"Bao","family":"Le","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5693-0","author":"huang","year":"1998","journal-title":"Formal Equivalence Checking Design Debug-ging"},{"key":"1","article-title":"From volume to velocity: The transforming landscape in function verification","author":"foster","year":"2011","journal-title":"Design and Verification Conference (DVCON)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s00357-005-0012-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419816"},{"key":"5","article-title":"Failure triage: The neglected debugging problem","author":"safarpour","year":"2012","journal-title":"Design and Verification Conference (DVCON)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228530"},{"journal-title":"Opencores org","year":"2007","key":"8"}],"event":{"name":"2014 15th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2014,3,3]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2014,3,5]]}},"container-title":["Fifteenth International Symposium on Quality Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6779216\/6783285\/06783384.pdf?arnumber=6783384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T07:43:28Z","timestamp":1498117408000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6783384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/isqed.2014.6783384","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}