{"id":"https://openalex.org/W2899598529","doi":"https://doi.org/10.1145/3264818","title":"Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems","display_name":"Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems","publication_year":2019,"publication_date":"2019-01-31","ids":{"openalex":"https://openalex.org/W2899598529","doi":"https://doi.org/10.1145/3264818","mag":"2899598529"},"language":"en","primary_location":{"id":"doi:10.1145/3264818","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3264818","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"},"type":"article","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/A5047981404","display_name":"Mourad Dridi","orcid":"https://orcid.org/0000-0002-2381-5582"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mourad Dridi","raw_affiliation_strings":["Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000587482","display_name":"St\u00e9phane Rubini","orcid":"https://orcid.org/0000-0002-3206-0310"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"St\u00e9phane Rubini","raw_affiliation_strings":["Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108648247","display_name":"Mounir Lallali","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mounir Lallali","raw_affiliation_strings":["Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040553443","display_name":"Martha Johanna Sep\u00falveda Fl\u00f3rez","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martha Johanna Sep\u00falveda Fl\u00f3rez","raw_affiliation_strings":["Technical University of Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106419334","display_name":"Frank Singhoff","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frank Singhoff","raw_affiliation_strings":["Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109056088","display_name":"Jean-Philippe Diguet","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Philippe Diguet","raw_affiliation_strings":["CNRS, Lab-STICC UMR CNRS 6285, Lorient, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Lab-STICC UMR CNRS 6285, Lorient, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5994,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.84427448,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"15","issue":"1","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9994999766349792,"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":0.9994999766349792,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.7834075689315796},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7721008658409119},{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.6971540451049805},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.6658828258514404},{"id":"https://openalex.org/keywords/network-on-a-chip","display_name":"Network on a chip","score":0.5138166546821594},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4385867714881897},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3708264231681824},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3653390407562256}],"concepts":[{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.7834075689315796},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7721008658409119},{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.6971540451049805},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.6658828258514404},{"id":"https://openalex.org/C128519102","wikidata":"https://www.wikidata.org/wiki/Q339554","display_name":"Network on a chip","level":2,"score":0.5138166546821594},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4385867714881897},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3708264231681824},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3653390407562256},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3264818","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3264818","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01867673v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01867673","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems, 2018","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-01867949v1","is_oa":false,"landing_page_url":"https://hal.univ-brest.fr/hal-01867949","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W630752754","https://openalex.org/W649872126","https://openalex.org/W1541459986","https://openalex.org/W1582964729","https://openalex.org/W1732956772","https://openalex.org/W1782531476","https://openalex.org/W1916902741","https://openalex.org/W1925528056","https://openalex.org/W1965732719","https://openalex.org/W1996763308","https://openalex.org/W2005221922","https://openalex.org/W2008626944","https://openalex.org/W2018391508","https://openalex.org/W2020607902","https://openalex.org/W2059600842","https://openalex.org/W2080991856","https://openalex.org/W2091451473","https://openalex.org/W2097869426","https://openalex.org/W2099653084","https://openalex.org/W2120538858","https://openalex.org/W2136257237","https://openalex.org/W2141440050","https://openalex.org/W2146412113","https://openalex.org/W2152099665","https://openalex.org/W2159526626","https://openalex.org/W2165172064","https://openalex.org/W2169704840","https://openalex.org/W2179039792","https://openalex.org/W2344459046","https://openalex.org/W2411215516","https://openalex.org/W2411424570","https://openalex.org/W2506467271","https://openalex.org/W2612202780","https://openalex.org/W2623647848","https://openalex.org/W2766488185","https://openalex.org/W2767366310","https://openalex.org/W2782430257","https://openalex.org/W2798422626","https://openalex.org/W2801755634","https://openalex.org/W4214706592"],"related_works":["https://openalex.org/W2094268420","https://openalex.org/W2792616578","https://openalex.org/W2148226105","https://openalex.org/W2911168022","https://openalex.org/W2165918565","https://openalex.org/W2964152390","https://openalex.org/W2052816277","https://openalex.org/W2766371801","https://openalex.org/W1925528056","https://openalex.org/W2167988973"],"abstract_inverted_index":{"A":[0],"Mixed":[1],"Criticality":[2],"System":[3],"(MCS)":[4],"combines":[5],"real-time":[6],"software":[7],"tasks":[8],"with":[9,99,213,230,267,275,307,332],"different":[10,94,100],"criticality":[11,17,84],"levels.":[12],"In":[13,58,130],"a":[14,137,198,243,268,276,333],"MCS,":[15,68],"the":[16,20,39,56,73,83,87,122,188,192,250,255,259,281,322,340,349],"level":[18,21,85],"specifies":[19],"of":[22,30,50,86,102,124,239,246,253,264,284,294,313,345],"assurance":[23],"against":[24],"system":[25,41,256,317],"failure.":[26],"For":[27,216,311],"high-critical":[28,151,175,181,202,285,323],"flows":[29,61,113,182,218,286],"messages,":[31],"it":[32],"is":[33,242,287,297,343],"imperative":[34],"to":[35,45,55,116,141,207,233,302,348,363],"meet":[36,183],"deadlines;":[37],"otherwise,":[38],"whole":[40],"might":[42],"fail,":[43],"leading":[44],"catastrophic":[46],"results,":[47],"like":[48],"loss":[49],"life":[51],"or":[52],"serious":[53],"damage":[54],"environment.":[57],"contrast,":[59],"low-critical":[60,193,217,295],"may":[62,79],"tolerate":[63],"some":[64],"delays.":[65],"Furthermore,":[66],"in":[67,106,126],"flow":[69,296],"performances":[70],"such":[71],"as":[72],"Worst":[74],"Case":[75],"Communication":[76],"Time":[77],"(WCCT)":[78],"vary":[80],"depending":[81],"on":[82,145,305,352],"applications.":[88],"Then":[89],"execution":[90],"platforms":[91],"must":[92],"provide":[93],"operating":[95],"modes":[96],"for":[97,150,172,191,201],"applications":[98],"levels":[101],"criticality.":[103],"To":[104],"conclude,":[105],"Network-On-Chip":[107],"(NoC),":[108],"sharing":[109],"resources":[110],"between":[111],"communication":[112,170,203,219,227,251,282,292,324],"can":[114],"lead":[115],"unpredictable":[117],"latencies":[118],"and":[119,135,159,166,174,261,337],"subsequently":[120],"turns":[121],"implementation":[123],"MCS":[125,143],"many-core":[127],"architectures":[128],"challenging.":[129],"this":[131,240],"article,":[132],"we":[133,222,357],"propose":[134,197],"evaluate":[136,249],"new":[138,199],"NoC":[139,271],"router":[140,161,331],"support":[142],"based":[144,304,351],"an":[146,224],"accurate":[147],"WCCT":[148],"analysis":[149,229],"flows.":[152,194],"The":[153,236],"proposed":[154],"router,":[155],"called":[156],"Double":[157],"Arbiter":[158],"Switching":[160],"(DAS),":[162],"jointly":[163],"uses":[164],"Wormhole":[165],"Store":[167,208],"And":[168,209],"Forward":[169,210],"techniques":[171,362],"low-":[173],"flows,":[176,254],"respectively.":[177],"It":[178],"ensures":[179],"that":[180,339],"their":[184],"deadlines":[185],"while":[186,291],"maximizing":[187],"bandwidth":[189],"remaining":[190],"We":[195,248,328],"also":[196],"method":[200],"time":[204,220,228,252],"analysis,":[205,221],"applied":[206,358],"switching":[211],"mode":[212,257,318],"virtual":[214,309,353],"channels.":[215,310],"adapt":[223],"existing":[225],"wormhole":[226],"share":[231],"policy":[232],"our":[234,330],"context.":[235],"second":[237],"contribution":[238],"article":[241],"multi-abstraction-level":[244],"evaluation":[245],"DAS.":[247,265],"change,":[258,319],"cost,":[260],"four":[262],"properties":[263,368],"Simulations":[266],"cycle-accurate":[269],"SystemC":[270],"simulator":[272],"show":[273,338],"that,":[274],"15%":[277],"network":[278,314],"use":[279],"rate,":[280],"delay":[283,293],"reduced":[288],"by":[289,299,370],"80%":[290],"increased":[298],"18%":[300],"compared":[301,347],"solutions":[303],"routers":[306],"multiple":[308],"10%":[312],"interferences,":[315],"using":[316],"DAS":[320,367],"reduces":[321],"delays":[325],"about":[326],"66%.":[327],"synthesize":[329],"28nm":[334],"SOI":[335],"technology":[336],"size":[341],"overhead":[342],"limited":[344],"2.5%":[346],"solution":[350],"channel":[354],"router.":[355],"Finally,":[356],"model":[359],"checking":[360],"verification":[361],"automatically":[364],"prove":[365],"several":[366],"required":[369],"critical":[371],"systems":[372],"designers.":[373]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}