{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:14:50Z","timestamp":1729649690940,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/test.2015.7342408","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T21:11:39Z","timestamp":1449177099000},"page":"1-10","source":"Crossref","is-referenced-by-count":24,"title":["Access time minimization in IEEE 1687 networks"],"prefix":"10.1109","author":[{"given":"Rene","family":"Krenz-Baath","sequence":"first","affiliation":[]},{"given":"Farrokh Ghani","family":"Zadegan","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Larsson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref11","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"Theory and Applications of Satisfiability Testing 6th International Conference SAT 2003 Santa Margherita Ligure Italy May 5–8 2003 Selected Revised Papers"},{"key":"ref12","first-page":"61","article-title":"Effective preprocessing in SAT through variable and clause elimination","author":"e\u00e9n","year":"2005","journal-title":"Theory and Applications of Satisfiability Testing 8th International Conference SAT 2005"},{"key":"ref13","first-page":"151","article-title":"Property checking via structural analysis","author":"baumgartner","year":"2002","journal-title":"Proc 14 Intl Conference on Computer Aided Verification (CAV’02)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337546"},{"key":"ref15","article-title":"Improved circuit-to-CNF transformation for SAT-based ATPG","author":"tille","year":"2008","journal-title":"Informal Digest of Papers at European Test Symposium"},{"key":"ref16","first-page":"326","article-title":"CAMA: A multi-valued satisfiability solver","author":"liu","year":"2003","journal-title":"2003 International Conference on Computer-Aided Design (ICCAD‘03) November 9–13 2003"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","article-title":"Translating pseudo-boolean constraints into SAT","volume":"2","author":"e\u00e9n","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref18","first-page":"386","article-title":"Conflict-driven answer set solving","author":"gebser","year":"2007","journal-title":"IJCAI 2007 Proceedings of the 20th International Joint Conference on Artificial Intelligence"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ETS.2014.6847807","article-title":"Optimization-based multiple target test generation for highly compacted test sets","author":"eggersgl\u00fc\u00df","year":"2014","journal-title":"19th IEEE European Test Symposium ETS 2014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2013.6569354"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2012.6401555"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297620"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2013.2278541"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2014.83"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2182984"},{"journal-title":"IEEE Std 1149 1-2001 IEEE Standard Test Access Port and Boundary-Scan Architecture","year":"2001","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref1","first-page":"1","article-title":"IEEE Standard for Access and Control of Instrumentation Embedded within a Semiconductor Device","year":"2014","journal-title":"IEEE Std 1687–2014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2013.6549786"},{"key":"ref22","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS ‘99)"},{"key":"ref21","volume":"89","author":"e\u00e9n","year":"2003","journal-title":"Temporal induction by incremental SAT solving"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797317263"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041802"}],"event":{"name":"2015 IEEE International Test Conference (ITC)","start":{"date-parts":[[2015,10,6]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2015,10,8]]}},"container-title":["2015 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7331771\/7342364\/07342408.pdf?arnumber=7342408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T06:14:28Z","timestamp":1599891268000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7342408\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/test.2015.7342408","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}