{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T16:46:52Z","timestamp":1751215612633,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927053","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:34:41Z","timestamp":1494866081000},"page":"578-583","source":"Crossref","is-referenced-by-count":8,"title":["Optimization of retargeting for IEEE 1149.1 TAP controllers with embedded compression"],"prefix":"10.23919","author":[{"given":"Sebastian","family":"Huhn","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Eggersgluss","sequence":"additional","affiliation":[]},{"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","volume":"abs 1307 920","author":"ilambharathi","year":"2013","journal-title":"Domain specific hierarchical Huffman encoding"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1977.1055714"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2016.7519303"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882600"},{"key":"ref14","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref15","first-page":"85","article-title":"Improved SAT-based ATPG: More constraints, better compaction","author":"eggersgl\u00fc\u00df","year":"2013","journal-title":"Int'l Conf on CAD"},{"key":"ref16","first-page":"1","article-title":"PHAETON: A SAT-based framework for timing-aware path sensitization","author":"sauer","year":"2015","journal-title":"IEEE Trans on Comp"},{"journal-title":"IEEE Std 1149 1-2013 (Revision of IEEE Std 1149 1-2001) - Redline 1149 1-2013","first-page":"1","year":"2013","key":"ref17"},{"key":"ref18","first-page":"3","article-title":"Mibench: A free, commercially representative embedded benchmark suite","author":"guthaus","year":"2001","journal-title":"IEEE Int Workshop on Workload Characterization"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2014.7035363"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743186"},{"key":"ref3","first-page":"219","article-title":"Test data compression using dictionaries with fixed-length indices - SoC testing","author":"li","year":"2003","journal-title":"VLSI Test Symp"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2008.58"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270870"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2009.2024116"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.31"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008384201996"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.826558"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1999.766654"},{"key":"ref20","first-page":"386","article-title":"Conflict-driven answer set solving","author":"gebser","year":"2007","journal-title":"Int Joint Conf AI"}],"event":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2017)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927053.pdf?arnumber=7927053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T18:50:47Z","timestamp":1580755847000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7927053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927053","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}