{"id":"https://openalex.org/W2093169386","doi":"https://doi.org/10.1109/sbcci.2012.6344433","title":"A formally verified deadlock-free routing function in a fault-tolerant NoC architecture","display_name":"A formally verified deadlock-free routing function in a fault-tolerant NoC architecture","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2093169386","doi":"https://doi.org/10.1109/sbcci.2012.6344433","mag":"2093169386"},"language":"en","primary_location":{"id":"doi:10.1109/sbcci.2012.6344433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sbcci.2012.6344433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091748635","display_name":"Abdulaziz Alhussien","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdulaziz Alhussien","raw_affiliation_strings":["Department of Electrical Engineering and Computer Engineering, University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Engineering, University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012004974","display_name":"Nader Bagherzadeh","orcid":"https://orcid.org/0000-0001-7216-0546"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nader Bagherzadeh","raw_affiliation_strings":["Department of Electrical Engineering and Computer Engineering, University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Engineering, University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067135306","display_name":"Freek Verbeek","orcid":"https://orcid.org/0000-0002-6625-1123"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Freek Verbeek","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020172219","display_name":"Bernard van Gastel","orcid":"https://orcid.org/0000-0002-0974-4634"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bernard van Gastel","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088595514","display_name":"Julien Schmaltz","orcid":null},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Julien Schmaltz","raw_affiliation_strings":["School of Computer Science, Open University of the Netherlands, Netherlands","School of Computer Science, Open University of the Netherlands, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Open University of the Netherlands, Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"School of Computer Science, Open University of the Netherlands, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8489,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.71056402,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10179","display_name":"Supercapacitor Materials and Fabrication","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/2504","display_name":"Electronic, Optical and Magnetic Materials"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7556878328323364},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6333292126655579},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.6240261793136597},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6167243719100952},{"id":"https://openalex.org/keywords/multipath-routing","display_name":"Multipath routing","score":0.5870824456214905},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.5840492248535156},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5716341733932495},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.516082227230072},{"id":"https://openalex.org/keywords/dynamic-source-routing","display_name":"Dynamic Source Routing","score":0.4985787868499756},{"id":"https://openalex.org/keywords/link-state-routing-protocol","display_name":"Link-state routing protocol","score":0.4956575632095337},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.4573400318622589},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4201650619506836},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3072449564933777},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.30346766114234924}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7556878328323364},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6333292126655579},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.6240261793136597},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6167243719100952},{"id":"https://openalex.org/C76522221","wikidata":"https://www.wikidata.org/wiki/Q5035396","display_name":"Multipath routing","level":5,"score":0.5870824456214905},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.5840492248535156},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5716341733932495},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.516082227230072},{"id":"https://openalex.org/C9659607","wikidata":"https://www.wikidata.org/wiki/Q1268903","display_name":"Dynamic Source Routing","level":4,"score":0.4985787868499756},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.4956575632095337},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.4573400318622589},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4201650619506836},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3072449564933777},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.30346766114234924}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/sbcci.2012.6344433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sbcci.2012.6344433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI)","raw_type":"proceedings-article"},{"id":"pmh:762743","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=762743","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:library.tue.nl:762743","is_oa":false,"landing_page_url":"http://repository.tue.nl/762743","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1545951482","https://openalex.org/W1581172660","https://openalex.org/W1975663392","https://openalex.org/W1994221466","https://openalex.org/W2112439683","https://openalex.org/W2121563512","https://openalex.org/W2123512296","https://openalex.org/W2124268206","https://openalex.org/W2124531928","https://openalex.org/W2124552466","https://openalex.org/W2128807112","https://openalex.org/W2136961361","https://openalex.org/W2138626489","https://openalex.org/W2144709243","https://openalex.org/W2147801838","https://openalex.org/W2151039403","https://openalex.org/W2154323564","https://openalex.org/W2163018936","https://openalex.org/W3150832729","https://openalex.org/W6634872526"],"related_works":["https://openalex.org/W1997091564","https://openalex.org/W2251995179","https://openalex.org/W3127002380","https://openalex.org/W2102655743","https://openalex.org/W2082566976","https://openalex.org/W2607223747","https://openalex.org/W2361465121","https://openalex.org/W2619478018","https://openalex.org/W3134665879","https://openalex.org/W4214896794"],"abstract_inverted_index":{"A":[0],"novel":[1],"fault-tolerant":[2],"adaptive":[3],"wormhole":[4],"routing":[5,13,27,86,90],"function":[6,14,87],"for":[7,66],"Networks-on-Chips":[8],"(NoCs)":[9],"is":[10],"presented.":[11],"The":[12,26,37],"guarantees":[15],"absence":[16],"of":[17,99,139,144,161],"deadlocks":[18],"and":[19],"livelocks":[20],"up":[21],"to":[22,53,93,123],"two":[23,150],"faulty":[24],"channels.":[25,77],"logic":[28],"does":[29,71],"not":[30,72,81],"require":[31],"reconfiguration":[32],"when":[33],"a":[34,117,130],"fault":[35,126],"occurs.":[36],"routes":[38,50],"themselves":[39],"are":[40,51,58,152],"dynamic.":[41],"Based":[42],"on":[43,61],"the":[44,47,85,97,104,145,159],"faults":[45],"in":[46,96,142,148],"network,":[48],"alternative":[49],"used":[52],"reroute":[54],"packets.":[55],"Routing":[56],"decisions":[57],"based":[59],"only":[60],"local":[62],"knowledge,":[63],"which":[64,149],"allows":[65],"fast":[67],"switching.":[68],"Our":[69],"approach":[70],"use":[73],"any":[74],"costly":[75],"virtual":[76],"As":[78],"we":[79,114,133],"do":[80],"prohibit":[82],"cyclic":[83],"dependencies,":[84],"provides":[88],"minimal":[89],"from":[91],"source":[92],"destination":[94],"even":[95],"presence":[98],"faults.":[100],"We":[101,154],"have":[102,115,134],"implemented":[103],"architecture":[105],"design":[106,141],"using":[107],"synthesizable":[108],"HDL.":[109],"To":[110],"ensure":[111],"deadlock":[112,120,137],"freedom,":[113],"extended":[116],"formally":[118,135],"verified":[119],"detection":[121],"algorithm":[122],"deal":[124],"with":[125],"tolerant":[127],"designs.":[128],"For":[129],"20\u00d720":[131],"mesh,":[132],"proven":[136],"freedom":[138],"our":[140,162],"all":[143],"2,878,800":[146],"configurations":[147],"channels":[151],"faulty.":[153],"supply":[155],"experimental":[156],"results":[157],"showing":[158],"performance":[160],"architecture.":[163]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}