{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T05:35:39Z","timestamp":1744781739821,"version":"3.32.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/test.2004.1387345","type":"proceedings-article","created":{"date-parts":[[2005,3,21]],"date-time":"2005-03-21T20:07:39Z","timestamp":1111435659000},"page":"820-829","source":"Crossref","is-referenced-by-count":8,"title":["State variable extraction to reduce problem complexity for ATPG and design validation"],"prefix":"10.1109","author":[{"given":"Q.","family":"Wu","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","first-page":"260","article-title":"A Fault Simulation Based Test Pattem Generator for Synchronous Sequential Circuits","author":"guo","year":"1999","journal-title":"Proc VLSJ Test Syntp"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2002.1011144"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915025"},{"key":"ref13","article-title":"Symbolic model checking: 1020 states and beyond","author":"burch","year":"1990","journal-title":"IEEE Symp Logic in CS"},{"key":"ref14","article-title":"Simulation Coverage Enhancement Using Test Stimulus Transformation","author":"lp","year":"2000","journal-title":"Proc Int’ I Conf CAD"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/223982.224450","article-title":"Architecture validation for processors","author":"ho","year":"1995","journal-title":"Proceedings 22nd Annual International Symposium on Computer Architecture ISCA"},{"key":"ref16","article-title":"Coverage-directed test generation using symbolic techniques","author":"geist","year":"1996","journal-title":"Int Conf CAD"},{"key":"ref17","article-title":"A study in coverage-driven test generation","author":"benjamin","year":"1999","journal-title":"Prof DAC"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/12.656068"},{"article-title":"Discrete-Time Signal Processing","year":"1999","author":"oppenheim","key":"ref19"},{"key":"ref4","first-page":"304","article-title":"A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization","author":"henftling","year":"2002","journal-title":"Proc Int'l ‘Conf Computer-Aided Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896528"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1033793"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"key":"ref8","first-page":"281","article-title":"Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal","author":"wu","year":"2003","journal-title":"Proc IntI Test Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.631218"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/12.247839"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206393"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1994.326901"},{"key":"ref20","article-title":"Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories","author":"wu","year":"2004","journal-title":"Proc VLSI Test Symp"},{"key":"ref22","first-page":"395","article-title":"Partial BIST Insertion to Eliminate Data Correlation","author":"zhang","year":"1999","journal-title":"lntl Conf CAD"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227793"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1999.805857"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"}],"event":{"name":"International Test Conference 2004","acronym":"TEST-04","location":"Charlotte, NC, USA"},"container-title":["2004 International Conferce on Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9526\/30190\/01387345.pdf?arnumber=1387345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,27]],"date-time":"2024-12-27T17:10:58Z","timestamp":1735319458000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/test.2004.1387345","relation":{},"subject":[]}}