{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:46:01Z","timestamp":1761896761685,"version":"3.37.3"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Italian Ministry of Education, Universities and Research (MIUR)"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2018,9,1]]},"DOI":"10.1109\/tc.2018.2812797","type":"journal-article","created":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T19:18:08Z","timestamp":1520363888000},"page":"1315-1330","source":"Crossref","is-referenced-by-count":9,"title":["Network Synthesis for Distributed Embedded Systems"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9739-6501","authenticated-orcid":false,"given":"Enrico","family":"Fraccaroli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5706-4799","authenticated-orcid":false,"given":"Francesco","family":"Stefanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2387-0952","authenticated-orcid":false,"given":"Romeo","family":"Rizzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0775-939X","authenticated-orcid":false,"given":"Davide","family":"Quaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4404-5791","authenticated-orcid":false,"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/49.32329"},{"key":"ref38","first-page":"117","article-title":"An exercise in protocol synthesis","author":"eijk","year":"1991","journal-title":"Proc Formal Description Techn IV"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2203303"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2448680"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2004.1347959"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.137"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/12.88466"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.1997.652556"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35578-8_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/32.4659"},{"year":"0","key":"ref10","article-title":"Unified Modeling Language."},{"key":"ref40","first-page":"343","article-title":"Functionality of wireless network design tools","author":"luntovskyy","year":"2009","journal-title":"Proc 15th Int Crimean Conf Microw Telecommun Technol"},{"year":"0","key":"ref11","article-title":"SysML."},{"year":"0","key":"ref12","article-title":"Simulink."},{"year":"0","key":"ref13","article-title":"Stateflow."},{"year":"0","key":"ref14","article-title":"Ptolemy."},{"key":"ref15","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Proc CONGRESS"},{"journal-title":"IEEE Standard for Standard SystemC Language Reference Manual","first-page":"1","year":"2012","key":"ref16"},{"year":"2006","key":"ref17","article-title":"OSCI TLM 2.0"},{"year":"0","key":"ref18","article-title":"SpecC."},{"year":"0","key":"ref19","article-title":"Metropolis."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2485984.2485996"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1721695.1721703"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2485984.2485997"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2501626.2512448"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2207274"},{"key":"ref29","first-page":"1","article-title":"Survey of network on chip (NoC)\n architectures & contributions","volume":"3","author":"agarwal","year":"2009","journal-title":"Netw"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2723161"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2394395"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1049\/ic.2010.0135"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2013.2259691"},{"year":"0","key":"ref9","article-title":"MARTE."},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2342509.2342513"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2004.1327951"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2007.4428655"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243975"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586610"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2015.2494598"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2013.2287460"},{"journal-title":"Networks on Chips Technology and Tools","year":"2006","author":"benini","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1998.666237"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/8428570\/08307094.pdf?arnumber=8307094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T15:44:49Z","timestamp":1643211889000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8307094\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,1]]},"references-count":41,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tc.2018.2812797","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2018,9,1]]}}}