{"id":"https://openalex.org/W3023194157","doi":"https://doi.org/10.1109/socc46988.2019.1570547252","title":"Coverage Driven Verification Methodology for Asynchronous Neuromorphic Routers","display_name":"Coverage Driven Verification Methodology for Asynchronous Neuromorphic Routers","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W3023194157","doi":"https://doi.org/10.1109/socc46988.2019.1570547252","mag":"3023194157"},"language":"en","primary_location":{"id":"doi:10.1109/socc46988.2019.1570547252","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc46988.2019.1570547252","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 32nd IEEE International System-on-Chip Conference (SOCC)","raw_type":"proceedings-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/A5081835724","display_name":"Yun Kwan Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I115228651","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09","country_code":"SG","type":"government","lineage":["https://openalex.org/I115228651"]},{"id":"https://openalex.org/I4210090209","display_name":"Institute of Microelectronics","ror":"https://ror.org/009rw8n36","country_code":"SG","type":"facility","lineage":["https://openalex.org/I115228651","https://openalex.org/I4210090209","https://openalex.org/I91275662"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yun Kwan Lee","raw_affiliation_strings":["Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","institution_ids":["https://openalex.org/I4210090209"]},{"raw_affiliation_string":"IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore","institution_ids":["https://openalex.org/I4210090209","https://openalex.org/I115228651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036682724","display_name":"Vishnu P. Nambiar","orcid":"https://orcid.org/0000-0001-5570-5911"},"institutions":[{"id":"https://openalex.org/I115228651","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09","country_code":"SG","type":"government","lineage":["https://openalex.org/I115228651"]},{"id":"https://openalex.org/I4210090209","display_name":"Institute of Microelectronics","ror":"https://ror.org/009rw8n36","country_code":"SG","type":"facility","lineage":["https://openalex.org/I115228651","https://openalex.org/I4210090209","https://openalex.org/I91275662"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Vishnu P. Nambiar","raw_affiliation_strings":["Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","institution_ids":["https://openalex.org/I4210090209"]},{"raw_affiliation_string":"IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore","institution_ids":["https://openalex.org/I4210090209","https://openalex.org/I115228651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032368049","display_name":"Junran Pu","orcid":"https://orcid.org/0000-0002-7434-8582"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Junran Pu","raw_affiliation_strings":["Nanyang Technological University,School of Electrical and Electronic Engineering,Singapore","School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,School of Electrical and Electronic Engineering,Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042682339","display_name":"Wang Ling Goh","orcid":"https://orcid.org/0000-0001-7466-8941"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Wang Ling Goh","raw_affiliation_strings":["Nanyang Technological University,School of Electrical and Electronic Engineering,Singapore","School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,School of Electrical and Electronic Engineering,Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101615706","display_name":"Anh Tuan","orcid":"https://orcid.org/0000-0002-8320-6818"},"institutions":[{"id":"https://openalex.org/I115228651","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09","country_code":"SG","type":"government","lineage":["https://openalex.org/I115228651"]},{"id":"https://openalex.org/I4210090209","display_name":"Institute of Microelectronics","ror":"https://ror.org/009rw8n36","country_code":"SG","type":"facility","lineage":["https://openalex.org/I115228651","https://openalex.org/I4210090209","https://openalex.org/I91275662"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Anh Tuan Do","raw_affiliation_strings":["Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Microelectronics (IME),IC-Design Department,A*STAR,Singapore","institution_ids":["https://openalex.org/I4210090209"]},{"raw_affiliation_string":"IC-Design Department, Institute of Microelectronics (IME), A*STAR, Singapore","institution_ids":["https://openalex.org/I4210090209","https://openalex.org/I115228651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2422,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58726886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"242","last_page":"247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":1.0,"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"}},{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/neuromorphic-engineering","display_name":"Neuromorphic engineering","score":0.8910430669784546},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8152803182601929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7745104432106018},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7077237367630005},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.49828577041625977},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.47359541058540344},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.42340099811553955},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4147645831108093},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.1528756022453308},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11469680070877075},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10463947057723999},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09836268424987793}],"concepts":[{"id":"https://openalex.org/C151927369","wikidata":"https://www.wikidata.org/wiki/Q1981312","display_name":"Neuromorphic engineering","level":3,"score":0.8910430669784546},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8152803182601929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7745104432106018},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7077237367630005},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.49828577041625977},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.47359541058540344},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.42340099811553955},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4147645831108093},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.1528756022453308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11469680070877075},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10463947057723999},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09836268424987793},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/socc46988.2019.1570547252","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc46988.2019.1570547252","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 32nd IEEE International System-on-Chip Conference (SOCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1490819086","https://openalex.org/W1596523797","https://openalex.org/W1900873248","https://openalex.org/W2012262513","https://openalex.org/W2093722143","https://openalex.org/W2113194610","https://openalex.org/W2290599139","https://openalex.org/W2291096017","https://openalex.org/W2301822014","https://openalex.org/W2401075645","https://openalex.org/W2477464167","https://openalex.org/W2657935830","https://openalex.org/W2725129414","https://openalex.org/W2902709211","https://openalex.org/W2911984139","https://openalex.org/W6697800800"],"related_works":["https://openalex.org/W3031505884","https://openalex.org/W2951049725","https://openalex.org/W4285308918","https://openalex.org/W2971712727","https://openalex.org/W4387459935","https://openalex.org/W2908450434","https://openalex.org/W3193008624","https://openalex.org/W4382561696","https://openalex.org/W2581119583","https://openalex.org/W3015991694"],"abstract_inverted_index":{"Current":[0],"generation":[1],"system-on-chips":[2],"(SoCs)":[3],"has":[4],"been":[5],"increasing":[6],"in":[7,12,22,36,50,112,184],"terms":[8],"of":[9,29,48,92,152,169],"complexity,":[10],"resulting":[11],"dense":[13],"global":[14],"interconnect":[15],"fabric.":[16],"Routers":[17],"are":[18],"a":[19],"critical":[20],"part":[21],"neuromorphic":[23,51,88,114],"SoC":[24],"fabrics,":[25],"and":[26,126],"the":[27,43,46,68,83,104,118,154,167,170,175,185,190],"majority":[28],"previous":[30],"works":[31],"do":[32],"not":[33],"focus":[34],"on":[35,117],"depth":[37],"verification":[38,97,105,172],"methodology.":[39,173],"This":[40,101],"is":[41,53,64],"despite":[42],"fact":[44],"that":[45,67,79],"number":[47],"neurons":[49],"computing":[52],"at":[54],"least":[55],"1000":[56],"times":[57],"larger":[58],"than":[59],"conventional":[60],"SoCs.":[61],"Hence,":[62],"it":[63],"very":[65],"likely":[66],"presented":[69],"results":[70],"could":[71],"be":[72],"affected":[73],"by":[74,143],"unit":[75],"level":[76],"hardware":[77],"bugs":[78,182],"only":[80],"surface":[81],"during":[82],"integration":[84],"phase.":[85],"Additionally,":[86],"some":[87],"routers":[89,115],"may":[90],"consist":[91],"asynchronous":[93,113],"design":[94,130,186,192],"units,":[95],"making":[96],"even":[98],"more":[99],"challenging.":[100],"paper":[102],"presents":[103],"methodology":[106,176],"utilized":[107],"to":[108,159,162,180],"achieve":[109,160],"high":[110],"coverage":[111,119,150],"based":[116],"driven":[120],"flow,":[121],"along":[122],"with":[123,138],"assertions,":[124],"checkers,":[125],"scoreboarding":[127],"for":[128],"ensuring":[129],"correctness.":[131],"The":[132,148],"test":[133],"plan":[134],"was":[135,157,177],"developed,":[136],"beginning":[137],"random":[139],"constrained":[140],"tests,":[141],"followed":[142],"manually":[144],"designed":[145],"directed":[146],"tests.":[147],"combined":[149],"database":[151],"all":[153],"simulation":[155],"runs":[156],"able":[158,179],"up":[161,189],"93%":[163],"overall":[164],"coverage,":[165],"proving":[166],"effectiveness":[168],"proposed":[171],"Furthermore,":[174],"also":[178],"detect":[181],"early":[183],"phase,":[187],"speeding":[188],"entire":[191],"flow.":[193]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}