{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:43:29Z","timestamp":1729644209935,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/fpl.2005.1515766","type":"proceedings-article","created":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T13:27:51Z","timestamp":1129123671000},"page":"469-474","source":"Crossref","is-referenced-by-count":0,"title":["An emulation model for sequential ATPG-based bounded model checking"],"prefix":"10.1109","author":[{"family":"Qiang Qiang","sequence":"first","affiliation":[]},{"given":"D.G.","family":"Saab","sequence":"additional","affiliation":[]},{"given":"F.","family":"Kocan","sequence":"additional","affiliation":[]},{"given":"J.A.","family":"Abraham","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585194"},{"journal-title":"Digital Systems Testing and Testable Design","year":"1990","author":"abramovici","key":"2"},{"journal-title":"Virtex II FPGA","year":"2005","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041761"},{"key":"7","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-63465-7_250","article-title":"Satisfiability on reconfigurable hardware","volume":"1304","author":"abramovici","year":"1997","journal-title":"Proc Workshop Field Programmable Logic and Applications"},{"key":"6","article-title":"Case study of atpg-based model checking: Verifying usb 2.0 ip core","author":"qiang","year":"2005","journal-title":"Intl Conf on Computer Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224205"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675757"},{"journal-title":"Principles of Digital Design","year":"1997","author":"gajski","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/92.920827"}],"event":{"name":"International Conference on Field Programmable Logic and Applications, 2005.","location":"Tampere, Finland"},"container-title":["International Conference on Field Programmable Logic and Applications, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10158\/32467\/01515766.pdf?arnumber=1515766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T20:02:57Z","timestamp":1497643377000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1515766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/fpl.2005.1515766","relation":{},"subject":[]}}