{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:41:41Z","timestamp":1725522101328},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2003.1252484","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T17:17:26Z","timestamp":1080667046000},"page":"117-122","source":"Crossref","is-referenced-by-count":5,"title":["ATPG-based preimage computation: efficient search space pruning with ZBDD"],"prefix":"10.1109","author":[{"given":"K.","family":"Chandrasekar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.3140"},{"key":"ref11","first-page":"705","article-title":"Dynamic Search-Space Pruning Techniques in Path Sensitization","author":"marques-silva","year":"1994","journal-title":"Proc DAC"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref13","first-page":"279","article-title":"Efficient Conflict Driven Learning in a Boolean Satisfiability Solver","author":"zhang","year":"2001","journal-title":"Proc ICCAD"},{"key":"ref14","first-page":"87","article-title":"Conflict driven techniques for improving deterministic test pattern generation","author":"wang","year":"2002","journal-title":"Proc ICCAD"},{"key":"ref15","first-page":"822","article-title":"Efficient PreImage Comp. Using a Novel Success-Driven ATPG","author":"sheng","year":"2003","journal-title":"Proc DATE"},{"key":"ref16","first-page":"272","article-title":"Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems","author":"minato","year":"1993","journal-title":"Proc DAC"},{"key":"ref17","article-title":"Digital Systems Testing and Testable Design","author":"abramovici","year":"1990","journal-title":"NJ IEEE Press"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243577"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670910"},{"key":"ref4","first-page":"317","article-title":"Symbolic Model Checking using SAT procedures instead of BDDs","author":"biere","year":"1999","journal-title":"Proc DAC"},{"key":"ref3","first-page":"193","article-title":"Symbolic Model Checking without BDDs","author":"biere","year":"1999","journal-title":"Proc TACAS"},{"key":"ref6","first-page":"250","article-title":"Applying SAT methods in unbounded symbolic model checking","author":"mcmillan","year":"2002","journal-title":"Proc CAV"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972826"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/775832.776043"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_13"},{"key":"ref1","first-page":"411","article-title":"Symbolic Reachability Analysis based on SAT-Solvers","author":"abdulla","year":"2000","journal-title":"Proc TACAS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2003.1183144"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123434"},{"key":"ref21","article-title":"On the Development of an ATPG based Satisfiability Checker","author":"iyer","year":"2002","journal-title":"Proc MTV"}],"event":{"name":"Eighth IEEE International High-Level Design Validation and Test Workshop","acronym":"HLDVT-03","location":"San Francisco, CA, USA"},"container-title":["Eighth IEEE International High-Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8873\/28031\/01252484.pdf?arnumber=1252484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:28:13Z","timestamp":1489440493000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1252484\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2003.1252484","relation":{},"subject":[]}}