{"id":"https://openalex.org/W2059896017","doi":"https://doi.org/10.1145/1970353.1970363","title":"Gate-Level Simulation with GPU Computing","display_name":"Gate-Level Simulation with GPU Computing","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2059896017","doi":"https://doi.org/10.1145/1970353.1970363","mag":"2059896017"},"language":"en","primary_location":{"id":"doi:10.1145/1970353.1970363","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1970353.1970363","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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 Transactions on Design Automation of Electronic 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/A5110888633","display_name":"Debapriya Chatterjee","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Debapriya Chatterjee","raw_affiliation_strings":["University of Michigan","(University of Michigan)"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018269902","display_name":"Andrew DeOrio","orcid":"https://orcid.org/0000-0001-5653-5109"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Deorio","raw_affiliation_strings":["University of Michigan","(University of Michigan)"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valeria Bertacco","raw_affiliation_strings":["University of Michigan","(University of Michigan)"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110888633"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":2.0486,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.87254452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"16","issue":"3","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994000196456909,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.8923689723014832},{"id":"https://openalex.org/keywords/logic-simulation","display_name":"Logic simulation","score":0.7421757578849792},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7353007793426514},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5972844958305359},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5571373701095581},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4072956442832947},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3950781226158142},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38206130266189575},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3511016070842743},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3284362554550171},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.2690460681915283},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12222903966903687},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10338613390922546},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10321539640426636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8923689723014832},{"id":"https://openalex.org/C64859876","wikidata":"https://www.wikidata.org/wiki/Q173673","display_name":"Logic simulation","level":3,"score":0.7421757578849792},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7353007793426514},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5972844958305359},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5571373701095581},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4072956442832947},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3950781226158142},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38206130266189575},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3511016070842743},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3284362554550171},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2690460681915283},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12222903966903687},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10338613390922546},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10321539640426636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1970353.1970363","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1970353.1970363","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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 Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W31193308","https://openalex.org/W1507146030","https://openalex.org/W1826016936","https://openalex.org/W1968006451","https://openalex.org/W1971000143","https://openalex.org/W1975338463","https://openalex.org/W1988222220","https://openalex.org/W2023863019","https://openalex.org/W2028570800","https://openalex.org/W2050831047","https://openalex.org/W2053624867","https://openalex.org/W2059039494","https://openalex.org/W2074140323","https://openalex.org/W2098077574","https://openalex.org/W2100636574","https://openalex.org/W2110210775","https://openalex.org/W2118900647","https://openalex.org/W2123990187","https://openalex.org/W2129245274","https://openalex.org/W2133250872","https://openalex.org/W2137693161","https://openalex.org/W2140155019","https://openalex.org/W2148658001","https://openalex.org/W2149247683","https://openalex.org/W2155174396","https://openalex.org/W2167078995","https://openalex.org/W2169553754","https://openalex.org/W2171115678","https://openalex.org/W2535919346","https://openalex.org/W2917987420","https://openalex.org/W3146952922","https://openalex.org/W4206109200","https://openalex.org/W4232293661","https://openalex.org/W6663485239"],"related_works":["https://openalex.org/W2153955347","https://openalex.org/W1563456403","https://openalex.org/W3207857352","https://openalex.org/W2162615969","https://openalex.org/W3200277260","https://openalex.org/W2907270047","https://openalex.org/W2546264221","https://openalex.org/W2084069859","https://openalex.org/W2188057831","https://openalex.org/W2113539181"],"abstract_inverted_index":{"Functional":[0],"verification":[1,33,58],"of":[2,16,29,31,45,52,66,88,130,142,162,170,181,194,213,217],"modern":[3,163],"digital":[4,69],"designs":[5,183,219],"is":[6,35,91,211],"a":[7,46,49,67,83,124,140],"crucial,":[8],"time-consuming":[9],"task":[10],"impacting":[11],"not":[12,92],"only":[13],"the":[14,17,27,42,63,86,96,110,128,155,160,166,178,192,215,231],"correctness":[15,44],"final":[18],"product,":[19],"but":[20],"also":[21],"its":[22],"time":[23],"to":[24,40,94,99,113,126,184],"market.":[25],"At":[26],"heart":[28],"most":[30],"today\u2019s":[32],"efforts":[34],"logic":[36,73,89,131],"simulation,":[37,132],"used":[38],"heavily":[39],"verify":[41],"functional":[43,104],"design":[47],"for":[48,80,177],"broad":[50],"range":[51],"abstraction":[53],"levels.":[54],"In":[55,118],"mainstream":[56],"industry":[57,112],"methodologies,":[59],"typical":[60],"setups":[61],"coordinate":[62],"validation":[64,101,216],"effort":[65],"complex":[68,182],"system":[70],"by":[71,137],"distributing":[72],"simulation":[74,90,116,134,189],"tasks":[75],"among":[76],"vast":[77,156],"server":[78],"farms":[79],"months":[81],"at":[82],"time.":[84],"Yet,":[85],"performance":[87,129,226],"sufficient":[93],"satisfy":[95],"demand,":[97],"leading":[98],"incomplete":[100],"processes,":[102],"escaped":[103],"bugs,":[105],"and":[106,165],"continuous":[107],"pressure":[108],"on":[109,228],"EDA":[111],"develop":[114],"faster":[115],"solutions.":[117],"this":[119],"work":[120],"we":[121,173],"propose":[122,174],"GCS,":[123],"solution":[125],"boost":[127],"gate-level":[133,171],"in":[135,148,159],"particular,":[136],"more":[138,222],"than":[139,223],"factor":[141],"10":[143],"using":[144],"recent":[145],"hardware":[146,161,196],"advances":[147],"Graphic":[149],"Processing":[150],"Unit":[151],"(GPU)":[152],"technology.":[153],"Noting":[154],"available":[157],"parallelism":[158],"GPUs":[164],"inherently":[167],"parallel":[168,185],"structures":[169],"netlists,":[172],"novel":[175,188],"algorithms":[176],"efficient":[179],"mapping":[180],"hardware.":[186],"Our":[187],"architecture":[190],"maximizes":[191],"utilization":[193],"concurrent":[195],"resources":[197],"while":[198,220],"minimizing":[199],"expensive":[200],"communication":[201],"overhead.":[202],"The":[203],"experimental":[204],"results":[205],"show":[206],"that":[207],"our":[208],"GPU-based":[209],"simulator":[210],"capable":[212],"handling":[214],"industrial-size":[218],"delivering":[221],"an":[224],"order-of-magnitude":[225],"improvements":[227],"average,":[229],"over":[230],"fastest":[232],"multithreaded":[233],"simulators":[234],"commercially":[235],"available.":[236]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}