{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:05:37Z","timestamp":1729627537712,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457089","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"1701-1706","source":"Crossref","is-referenced-by-count":11,"title":["Formal specification of networks-on-chips: deadlock and evacuation"],"prefix":"10.1109","author":[{"given":"Freek","family":"Verbeek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Schmaltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"ACL2 Computer-Aided Reasoning: An Approach","year":"2000","author":"kaufmann","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676939"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9206-x"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSECOMPANION.2007.14"},{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253709"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/11560548_28","article-title":"Deadlock prevention in the IEthereal protocol","volume":"3725 2005","author":"gebremichaeli","year":"2005","journal-title":"Correct Hardware Design and Verification Methods"},{"key":"ref17","article-title":"Model Checking the AMBA Protocol in HaL","author":"amjad","year":"2004","journal-title":"University of Cambridge Computer Laboratory Technical Report"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1297666.1297672"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/71.473515"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.976921"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379048"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/548324"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0049-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1404371.1404421"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/1217975.1217985","article-title":"Towards a Formal Theory of On Chip Communications in the ACL2 Logic","author":"schmaltz","year":"2006","journal-title":"Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications part of FloC '06"},{"key":"ref2","article-title":"Networks on chip: A communication-centric approach to platform-based design","author":"van meerbergen","year":"0","journal-title":"PROGRESS White Papers 2006"},{"key":"ref1","article-title":"The end of denial architecture","author":"dally","year":"2009","journal-title":"Keynote at Design Automation Conference (DAC'09)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.03.003"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/215399.215440"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351124"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/71.707539"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457089.pdf?arnumber=5457089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:48:23Z","timestamp":1498016903000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457089\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457089","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}