{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:00:22Z","timestamp":1730221222426,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/ewdts.2011.6116421","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:28:21Z","timestamp":1325860101000},"page":"39-42","source":"Crossref","is-referenced-by-count":2,"title":["A unifying formalism to support automated synthesis of SBSTs for embedded caches"],"prefix":"10.1109","author":[{"given":"Stefano","family":"Di Carlo","sequence":"first","affiliation":[]},{"given":"Giulio","family":"Gambardella","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Indaco","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Rolfo","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Prinetto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/54.199799"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MTDT.2004.1327984"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2011.78"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859635"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670897"},{"key":"6","first-page":"1030","volume":"60","author":"di carlo","year":"2011","journal-title":"Software-based Self-test of Set-associative Cache Memories"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3282-9_6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MTDT.1998.705945"},{"key":"9","first-page":"49","article-title":"Improving software based self - Testing for cache memories","author":"sosnowski","year":"2007","journal-title":"Proc IEEE Int Design and Test Workshop"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1995.529864"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1995.470354"},{"journal-title":"internal report","article-title":"Meta-isa description using nml formalism","year":"0","key":"12"}],"event":{"name":"Test Symposium (EWDTS)","start":{"date-parts":[[2011,9,9]]},"location":"Sevastopol, Ukraine","end":{"date-parts":[[2011,9,12]]}},"container-title":["2011 9th East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6107929\/6116407\/06116421.pdf?arnumber=6116421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:09:07Z","timestamp":1490101747000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6116421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2011.6116421","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}