{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T13:40:37Z","timestamp":1758894037342,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/recosoc.2015.7238079","type":"proceedings-article","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T21:43:53Z","timestamp":1441316633000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["Automated minimization of concurrent online checkers for Network-on-Chips"],"prefix":"10.1109","author":[{"given":"Pietro","family":"Saltarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrad","family":"Niazmand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranganathan","family":"Hariharan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Jervan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hollstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Turbo Tester-Diagnostic Package for Research and Training","author":"aarna","year":"2003","journal-title":"The 1st East-West Design and Test Conference"},{"key":"ref11","first-page":"271","article-title":"Structurally synthesized binary decision diagrams","author":"jutman","year":"2004","journal-title":"6th International Workshop on Boolean Problems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2007.16"},{"key":"ref13","article-title":"Formally enhanced runtime verification to ensure N oC functional correctness","author":"parikh","year":"0","journal-title":"Proc IEEE International Symposium on Microarchitecture (MICRO) 2011"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2012.27"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2007.55"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2003.1214364"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670885"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1988.5315"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2005.80"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2011.5783728"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2003.1194770"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(61)80037-5"},{"key":"ref1","first-page":"2957","article-title":"Selective triple modular redundancy (STMR) based single-event upset (SEU) tolerant synthesis for FPGAs","volume":"51","author":"sedmak","year":"2005","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"ref9","article-title":"Assertion checkers in verification, silicon debug and infield diagnosis","author":"boule","year":"0","journal-title":"Proc ISQED'07"}],"event":{"name":"2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)","start":{"date-parts":[[2015,6,29]]},"location":"Bremen, Germany","end":{"date-parts":[[2015,7,1]]}},"container-title":["2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7190940\/7231035\/07238079.pdf?arnumber=7238079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T05:18:08Z","timestamp":1490419088000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7238079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/recosoc.2015.7238079","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}