{"id":"https://openalex.org/W4395074196","doi":"https://doi.org/10.1145/3661308","title":"Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect","display_name":"Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect","publication_year":2024,"publication_date":"2024-04-24","ids":{"openalex":"https://openalex.org/W4395074196","doi":"https://doi.org/10.1145/3661308"},"language":"en","primary_location":{"id":"doi:10.1145/3661308","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661308","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/A5065262986","display_name":"Nan Wu","orcid":"https://orcid.org/0000-0001-8291-4292"},"institutions":[{"id":"https://openalex.org/I193531525","display_name":"George Washington University","ror":"https://ror.org/00y4zzh67","country_code":"US","type":"education","lineage":["https://openalex.org/I193531525"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nan Wu","raw_affiliation_strings":["School of Engineering and Applied Science, The George Washington University, Washington, United States"],"raw_orcid":"https://orcid.org/0000-0001-8291-4292","affiliations":[{"raw_affiliation_string":"School of Engineering and Applied Science, The George Washington University, Washington, United States","institution_ids":["https://openalex.org/I193531525"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425071","display_name":"Yingjie Li","orcid":"https://orcid.org/0000-0002-1144-7401"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yingjie Li","raw_affiliation_strings":["University of Maryland at College Park, College Park, United States"],"raw_orcid":"https://orcid.org/0000-0002-1144-7401","affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, College Park, United States","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114461980","display_name":"Hang Yang","orcid":"https://orcid.org/0009-0002-5343-4745"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hang Yang","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, United States"],"raw_orcid":"https://orcid.org/0009-0002-5343-4745","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, United States","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022726792","display_name":"Hanqiu Chen","orcid":"https://orcid.org/0009-0007-1834-5612"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hanqiu Chen","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, United States"],"raw_orcid":"https://orcid.org/0009-0007-1834-5612","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, United States","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030894829","display_name":"Steve Dai","orcid":"https://orcid.org/0000-0002-5045-1964"},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steve Dai","raw_affiliation_strings":["Nvidia Corporation, Santa Clara, United States"],"raw_orcid":"https://orcid.org/0000-0002-5045-1964","affiliations":[{"raw_affiliation_string":"Nvidia Corporation, Santa Clara, United States","institution_ids":["https://openalex.org/I4210127875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053022655","display_name":"Cong Hao","orcid":"https://orcid.org/0000-0002-2541-8767"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cong Hao","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, United States"],"raw_orcid":"https://orcid.org/0000-0002-2541-8767","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, United States","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029321729","display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0003-3481-307X"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cunxi Yu","raw_affiliation_strings":["University of Maryland at College Park, College Park, United States"],"raw_orcid":"https://orcid.org/0000-0003-3481-307X","affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, College Park, United States","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100385336","display_name":"Yuan Xie","orcid":"https://orcid.org/0000-0003-2093-1788"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yuan Xie","raw_affiliation_strings":["Electrical and Computer Engineering Department, The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0003-2093-1788","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5065262986"],"corresponding_institution_ids":["https://openalex.org/I193531525"],"apc_list":null,"apc_paid":null,"fwci":7.9453,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.98395722,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"29","issue":"4","first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9973000288009644,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9973000288009644,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.9063683748245239},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5073627829551697},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4653658866882324},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.43486908078193665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4197006821632385},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40494009852409363},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.21318164467811584},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20718905329704285},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.19463762640953064}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9063683748245239},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5073627829551697},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4653658866882324},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.43486908078193665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4197006821632385},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40494009852409363},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.21318164467811584},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20718905329704285},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.19463762640953064}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3661308","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661308","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"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-140734","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-140734","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":159,"referenced_works":["https://openalex.org/W8060374","https://openalex.org/W41554520","https://openalex.org/W89600824","https://openalex.org/W233122475","https://openalex.org/W1465777884","https://openalex.org/W1503604051","https://openalex.org/W1508641834","https://openalex.org/W1514729613","https://openalex.org/W1518341038","https://openalex.org/W1536007121","https://openalex.org/W1552694545","https://openalex.org/W1560253649","https://openalex.org/W1566129741","https://openalex.org/W1568586930","https://openalex.org/W1569098853","https://openalex.org/W1583837637","https://openalex.org/W1596523797","https://openalex.org/W1600068019","https://openalex.org/W1757980361","https://openalex.org/W1763418526","https://openalex.org/W1780472831","https://openalex.org/W1834745875","https://openalex.org/W1836910194","https://openalex.org/W1982239968","https://openalex.org/W1995140396","https://openalex.org/W1999396796","https://openalex.org/W2011645538","https://openalex.org/W2024148935","https://openalex.org/W2025516544","https://openalex.org/W2026584294","https://openalex.org/W2028695183","https://openalex.org/W2034823881","https://openalex.org/W2035445270","https://openalex.org/W2037763851","https://openalex.org/W2043340768","https://openalex.org/W2057361103","https://openalex.org/W2069736170","https://openalex.org/W2075599280","https://openalex.org/W2075743607","https://openalex.org/W2080267935","https://openalex.org/W2096455207","https://openalex.org/W2098165956","https://openalex.org/W2117394347","https://openalex.org/W2117874980","https://openalex.org/W2118485338","https://openalex.org/W2121750555","https://openalex.org/W2123298155","https://openalex.org/W2123382356","https://openalex.org/W2125121514","https://openalex.org/W2128084896","https://openalex.org/W2130753923","https://openalex.org/W2135674775","https://openalex.org/W2137351629","https://openalex.org/W2156433885","https://openalex.org/W2157373763","https://openalex.org/W2160022761","https://openalex.org/W2160365857","https://openalex.org/W2167101736","https://openalex.org/W2167118522","https://openalex.org/W2184822694","https://openalex.org/W2185676247","https://openalex.org/W2243304700","https://openalex.org/W2266628809","https://openalex.org/W2310495003","https://openalex.org/W2329849566","https://openalex.org/W2399495295","https://openalex.org/W2428112462","https://openalex.org/W2486519520","https://openalex.org/W2544286079","https://openalex.org/W2599674900","https://openalex.org/W2648790971","https://openalex.org/W2742855437","https://openalex.org/W2753285289","https://openalex.org/W2900896126","https://openalex.org/W2911785772","https://openalex.org/W2912269676","https://openalex.org/W2912500072","https://openalex.org/W2913327068","https://openalex.org/W2913342441","https://openalex.org/W2915041608","https://openalex.org/W2916556692","https://openalex.org/W2942139435","https://openalex.org/W2949975283","https://openalex.org/W2954540134","https://openalex.org/W2963433607","https://openalex.org/W2964303497","https://openalex.org/W2971093758","https://openalex.org/W2973405785","https://openalex.org/W2984353870","https://openalex.org/W2993472785","https://openalex.org/W2996380287","https://openalex.org/W2997434955","https://openalex.org/W2997655715","https://openalex.org/W2998350894","https://openalex.org/W2998617017","https://openalex.org/W2998943025","https://openalex.org/W2999599459","https://openalex.org/W3000806426","https://openalex.org/W3006781240","https://openalex.org/W3008118888","https://openalex.org/W3035746743","https://openalex.org/W3040269983","https://openalex.org/W3041133507","https://openalex.org/W3041332907","https://openalex.org/W3047863327","https://openalex.org/W3082750925","https://openalex.org/W3093497259","https://openalex.org/W3100443344","https://openalex.org/W3102100346","https://openalex.org/W3105390215","https://openalex.org/W3109952702","https://openalex.org/W3110428161","https://openalex.org/W3131242057","https://openalex.org/W3133391569","https://openalex.org/W3164731060","https://openalex.org/W3181414820","https://openalex.org/W3197040007","https://openalex.org/W3205626500","https://openalex.org/W3208197346","https://openalex.org/W3214079553","https://openalex.org/W4206807714","https://openalex.org/W4210689908","https://openalex.org/W4213151038","https://openalex.org/W4213195950","https://openalex.org/W4226237846","https://openalex.org/W4230256307","https://openalex.org/W4236640323","https://openalex.org/W4240293595","https://openalex.org/W4240301789","https://openalex.org/W4241467532","https://openalex.org/W4241530675","https://openalex.org/W4242741415","https://openalex.org/W4246691913","https://openalex.org/W4247878797","https://openalex.org/W4250846042","https://openalex.org/W4253196470","https://openalex.org/W4254436605","https://openalex.org/W4255255775","https://openalex.org/W4256084472","https://openalex.org/W4282045675","https://openalex.org/W4287119796","https://openalex.org/W4287815740","https://openalex.org/W4292478130","https://openalex.org/W4292902531","https://openalex.org/W4296471858","https://openalex.org/W4297795493","https://openalex.org/W4304141728","https://openalex.org/W4385245566","https://openalex.org/W4385768203","https://openalex.org/W4388040405","https://openalex.org/W6632282560","https://openalex.org/W6637837010","https://openalex.org/W6638008040","https://openalex.org/W6676948119","https://openalex.org/W6739901393","https://openalex.org/W6776331362","https://openalex.org/W6782595193","https://openalex.org/W6824351792","https://openalex.org/W6839316307"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W4244791789","https://openalex.org/W2348063302","https://openalex.org/W1766437153","https://openalex.org/W2891783929","https://openalex.org/W3027371154","https://openalex.org/W61995002","https://openalex.org/W4226437327","https://openalex.org/W2146993371","https://openalex.org/W2900785850"],"abstract_inverted_index":{"With":[0],"the":[1,7,23,26,32,45,53,96,103],"ever-increasing":[2],"hardware":[3,13,56,73,113],"design":[4,74],"complexity":[5],"comes":[6],"realization":[8],"that":[9,95],"efforts":[10],"required":[11],"for":[12,105],"verification":[14,28,78],"increase":[15],"at":[16],"an":[17],"even":[18],"faster":[19],"rate.":[20],"Driven":[21],"by":[22],"push":[24],"from":[25,34,76,82,87],"desired":[27],"productivity":[29],"boost":[30],"and":[31,86,110],"pull":[33],"leap-ahead":[35],"capabilities":[36],"of":[37,47,55,66,98],"machine":[38],"learning":[39],"(ML),":[40],"recent":[41],"years":[42],"have":[43],"witnessed":[44],"emergence":[46],"exploiting":[48],"ML-based":[49,68,99],"techniques":[50,69,100],"to":[51,79,84,90],"improve":[52],"efficiency":[54],"verification.":[57,114],"In":[58],"this":[59],"article,":[60],"we":[61],"present":[62],"a":[63],"panoramic":[64],"view":[65],"how":[67],"are":[70],"embraced":[71],"in":[72],"verification,":[75,81],"formal":[77],"simulation-based":[80],"academia":[83],"industry,":[85],"current":[88],"progress":[89],"future":[91],"prospects.":[92],"We":[93],"envision":[94],"adoption":[97],"will":[101],"pave":[102],"road":[104],"more":[106,108,111],"scalable,":[107],"intelligent,":[109],"productive":[112]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-08T15:41:06.802602","created_date":"2025-10-10T00:00:00"}