{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T23:06:46Z","timestamp":1749683206485,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icvd.2003.1183144","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"243-248","source":"Crossref","is-referenced-by-count":6,"title":["Formal verification using bounded model checking: SAT versus sequential ATPG engines"],"prefix":"10.1109","author":[{"given":"D.G.","family":"Saab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.A.","family":"Abraham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.M.","family":"Vedula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743207"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-48683-6_36","article-title":"Model Checking Based on Sequential ATPG","author":"boppana","year":"1999","journal-title":"Computer-Aided Verification"},{"key":"ref12","first-page":"58","article-title":"Current Directions in Automatic Test-Generation","volume":"32","author":"cheng","year":"1999","journal-title":"IEEE Design & Test"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972826"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.913756"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972805"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"journal-title":"Computers and Intractability","year":"1979","author":"garey","key":"ref17"},{"key":"ref18","first-page":"155","article-title":"A Rearrangement Search Strategy for Determining Propositional Satisfiability","author":"zabih","year":"1988","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref19","first-page":"220","article-title":"GRASP-A New Search Algorithm for Satisfiability","author":"silva","year":"1996","journal-title":"Proc Intl Conf on CAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref3","article-title":"The Temporal Semantics of Concurrent Programs","author":"pneuli","year":"1977","journal-title":"Proc Symp Foundations Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041761"},{"key":"ref8","first-page":"193","article-title":"Symbolic Model Checking without BDDs","author":"biere","year":"1999","journal-title":"TACAS'99"},{"key":"ref7","first-page":"57","article-title":"Another Look at LTL Model Checking","volume":"10","author":"clarke","year":"1997","journal-title":"Formal Methods in System Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"ref1","article-title":"Functional Verification of Silicon Intensive Systems","author":"silburt","year":"1998","journal-title":"Proc DesignCon98 On-Chip System Design Conf"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/3-540-44585-4_43","article-title":"Benefits of Bounded Model Checking at an Industrial Setting","author":"copty","year":"2001","journal-title":"Computer-Aided Verification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1109\/DAC.2002.1012722","article-title":"Combining Strengths of Circuit-based and CNF-based Algorithms for a High-Performance SAT Solver","author":"ganai","year":"2002","journal-title":"Proc Design Automation Conf"}],"event":{"name":"16th International Conference on VLSI Design. Concurrently with the 2nd International Conference on Embedded Systems Design","acronym":"ICVD-03","location":"New Delhi, India"},"container-title":["16th International Conference on VLSI Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8427\/26547\/01183144.pdf?arnumber=1183144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T20:08:57Z","timestamp":1497557337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1183144\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icvd.2003.1183144","relation":{},"subject":[]}}