{"id":"https://openalex.org/W4389166690","doi":"https://doi.org/10.1109/iccad57390.2023.10323959","title":"Fast and Scalable Gate-Level Simulation in Massively Parallel Systems","display_name":"Fast and Scalable Gate-Level Simulation in Massively Parallel Systems","publication_year":2023,"publication_date":"2023-10-28","ids":{"openalex":"https://openalex.org/W4389166690","doi":"https://doi.org/10.1109/iccad57390.2023.10323959"},"language":"en","primary_location":{"id":"doi:10.1109/iccad57390.2023.10323959","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iccad57390.2023.10323959","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","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/A5101985521","display_name":"Haichuan Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]},{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haichuan Hu","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, School of Computer Science and Technology, Huazhong University of Science and Technology,Services Computing Technology and System Lab, Cluster and Grid Computing Lab,Wuhan,China,430074","School of Mathematics and Computer Science, Nanchang University, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, School of Computer Science and Technology, Huazhong University of Science and Technology,Services Computing Technology and System Lab, Cluster and Grid Computing Lab,Wuhan,China,430074","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"School of Mathematics and Computer Science, Nanchang University, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041407793","display_name":"Zichen Xu","orcid":"https://orcid.org/0000-0001-9293-8028"},"institutions":[{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zichen Xu","raw_affiliation_strings":["School of Mathematics and Computer Science, Nanchang University,Nanchang,China","School of Mathematics and Computer Science, Nanchang University, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Nanchang University,Nanchang,China","institution_ids":["https://openalex.org/I141649914"]},{"raw_affiliation_string":"School of Mathematics and Computer Science, Nanchang University, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100370103","display_name":"Yuhao Wang","orcid":"https://orcid.org/0000-0002-8445-0361"},"institutions":[{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhao Wang","raw_affiliation_strings":["School of Mathematics and Computer Science, Nanchang University,Nanchang,China","School of Mathematics and Computer Science, Nanchang University, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Nanchang University,Nanchang,China","institution_ids":["https://openalex.org/I141649914"]},{"raw_affiliation_string":"School of Mathematics and Computer Science, Nanchang University, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048398271","display_name":"Fangming Liu","orcid":"https://orcid.org/0000-0002-8570-1345"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]},{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangming Liu","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, School of Computer Science and Technology, Huazhong University of Science and Technology,Services Computing Technology and System Lab, Cluster and Grid Computing Lab,Wuhan,China,430074","Pengcheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, School of Computer Science and Technology, Huazhong University of Science and Technology,Services Computing Technology and System Lab, Cluster and Grid Computing Lab,Wuhan,China,430074","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Pengcheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101985521"],"corresponding_institution_ids":["https://openalex.org/I141649914","https://openalex.org/I47720641"],"apc_list":null,"apc_paid":null,"fwci":0.6151,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6531093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9987999796867371,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9983999729156494,"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.7984861135482788},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6882888078689575},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6612265706062317},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5481172800064087},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43668797612190247},{"id":"https://openalex.org/keywords/skew","display_name":"Skew","score":0.4342801868915558},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.4177483320236206},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.41166719794273376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3099573850631714}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7984861135482788},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6882888078689575},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6612265706062317},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5481172800064087},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43668797612190247},{"id":"https://openalex.org/C43711488","wikidata":"https://www.wikidata.org/wiki/Q7534783","display_name":"Skew","level":2,"score":0.4342801868915558},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.4177483320236206},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41166719794273376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3099573850631714},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad57390.2023.10323959","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iccad57390.2023.10323959","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2739441510","display_name":null,"funder_award_id":"2022YFB4501703","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1739274247","https://openalex.org/W1825216778","https://openalex.org/W1864032062","https://openalex.org/W1944814515","https://openalex.org/W1991173503","https://openalex.org/W2066977219","https://openalex.org/W2085647403","https://openalex.org/W2146257505","https://openalex.org/W2242458479","https://openalex.org/W2249344705","https://openalex.org/W2583154878","https://openalex.org/W2615453758","https://openalex.org/W2619944023","https://openalex.org/W2746942741","https://openalex.org/W2796365873","https://openalex.org/W2801530896","https://openalex.org/W2898683942","https://openalex.org/W2928843358","https://openalex.org/W2946374992","https://openalex.org/W2963824032","https://openalex.org/W3094343833","https://openalex.org/W3169821911","https://openalex.org/W4200036442","https://openalex.org/W4200231758","https://openalex.org/W4200341486","https://openalex.org/W4233649229","https://openalex.org/W4235251178","https://openalex.org/W6638769890","https://openalex.org/W6691343681","https://openalex.org/W6763676199","https://openalex.org/W6798176688"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4401278057"],"abstract_inverted_index":{"The":[0],"natural":[1],"bijection":[2],"between":[3,138,145],"a":[4,78,98,143,168],"proposed":[5],"circuit":[6],"design":[7],"and":[8,32,54,80,105,123,140,152,159],"its":[9],"graph":[10,15,72,99,112],"representation":[11,100],"shall":[12],"allow":[13],"any":[14,180],"optimization":[16],"algorithm":[17],"deploying":[18],"into":[19],"many-core":[20,91],"systems":[21],"efficiently.":[22],"However,":[23],"this":[24],"process":[25],"suffers":[26],"from":[27,63,90],"the":[28,37,42,48,57,64,67,70,88,111,128,146,175],"exponentially":[29,62],"growing":[30],"overhead":[31],"heavy":[33],"memory":[34],"footprint":[35],"with":[36,50,162],"signal":[38,65],"propagation.":[39],"To":[40],"conquer":[41],"unique":[43],"challenge,":[44],"we":[45,75],"systematically":[46],"study":[47],"simulation":[49,83,139,150],"millions":[51],"of":[52,69,117,148],"gates,":[53],"identify":[55],"that":[56,101,120,134],"processing":[58],"complexity":[59],"could":[60],"grow":[61],"inputs,":[66],"skewness":[68],"computational":[71],"stays.":[73],"Thus,":[74],"present":[76],"ZhouBi,":[77],"fast":[79],"scalable":[81],"gate-level":[82,103,189],"framework":[84,183],"to":[85,126,174],"fully":[86],"exploit":[87],"parallelism":[89],"systems.":[92],"ZhouBi":[93,158,165],"contributes":[94],"in":[95],"threefolds,":[96],"(I)":[97],"colors":[102],"netlists":[104],"identifies":[106],"skew":[107],"partitions":[108],"based":[109],"on":[110],"skewness;":[113],"(II)":[114],"A":[115,131],"set":[116],"heuristic":[118],"algorithms":[119,125],"picks":[121],"opportunistic":[122],"conservative":[124],"accelerate":[127],"simulation;":[129],"(III)":[130],"system":[132],"facility":[133],"supports":[135,184],"selective":[136],"mapping":[137],"many-core,":[141],"providing":[142],"tradeoff":[144],"risk":[147],"concurrent":[149],"fail":[151],"performance":[153,170],"gain.":[154],"We":[155],"have":[156],"prototyped":[157],"evaluated":[160],"it":[161],"practical":[163],"baselines.":[164],"can":[166],"achieve":[167],"27.6\u00d7":[169],"gain,":[171],"as":[172],"compared":[173],"state-of-the-practice":[176],"Veriwell":[177],"without":[178],"compromising":[179],"correctness.":[181],"Our":[182],"large":[185],"graphs":[186],"enabling":[187],"scale-out":[188],"simulations":[190],"for":[191],"chip":[192],"design.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}