{"id":"https://openalex.org/W4408442146","doi":"https://doi.org/10.1109/ats64447.2024.10915476","title":"LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions","display_name":"LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions","publication_year":2024,"publication_date":"2024-12-17","ids":{"openalex":"https://openalex.org/W4408442146","doi":"https://doi.org/10.1109/ats64447.2024.10915476"},"language":"en","primary_location":{"id":"doi:10.1109/ats64447.2024.10915476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats64447.2024.10915476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 33rd Asian Test Symposium (ATS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5062654910","display_name":"Khushboo Qayyum","orcid":"https://orcid.org/0009-0004-7408-8399"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Khushboo Qayyum","raw_affiliation_strings":["DFKI GmbH,Cyber-Physical Systems,Bremen,Germany,28359"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DFKI GmbH,Cyber-Physical Systems,Bremen,Germany,28359","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087915119","display_name":"Sallar Ahmadi-Pour","orcid":"https://orcid.org/0000-0003-4000-6207"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sallar Ahmadi-Pour","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany,28359"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022866615","display_name":"Chandan Kumar Jha","orcid":"https://orcid.org/0000-0002-7237-5878"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Chandan Kumar Jha","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany,28359"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115044986","display_name":"Muhammad Hassan","orcid":"https://orcid.org/0000-0002-4217-3079"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Muhammad Hassan","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany,28359"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany,28359"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4383,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.9619403,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9850999712944031,"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"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9850999712944031,"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"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9059000015258789,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9021999835968018,"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/computer-science","display_name":"Computer science","score":0.6595698595046997}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6595698595046997}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ats64447.2024.10915476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats64447.2024.10915476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 33rd Asian Test Symposium (ATS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311649","display_name":"Ministry of Education","ror":"https://ror.org/036nq5137"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W88861512","https://openalex.org/W1522369122","https://openalex.org/W1528837436","https://openalex.org/W2112173236","https://openalex.org/W4388040405","https://openalex.org/W4390041933","https://openalex.org/W4391681217","https://openalex.org/W4392544408","https://openalex.org/W4392682320","https://openalex.org/W4393145429","https://openalex.org/W4395074196","https://openalex.org/W4398199877","https://openalex.org/W4399120235","https://openalex.org/W4399396317","https://openalex.org/W4400578969","https://openalex.org/W4400702366","https://openalex.org/W4401416684","https://openalex.org/W4401567960","https://openalex.org/W4401568309","https://openalex.org/W4402125165","https://openalex.org/W4402835956","https://openalex.org/W4403023441","https://openalex.org/W4403023462","https://openalex.org/W4403023614","https://openalex.org/W4403023622","https://openalex.org/W4403024068","https://openalex.org/W4403024085","https://openalex.org/W4403024086","https://openalex.org/W4403024143","https://openalex.org/W4403024154","https://openalex.org/W4404102090","https://openalex.org/W4404103182","https://openalex.org/W4404103221","https://openalex.org/W4404133976","https://openalex.org/W6778883912","https://openalex.org/W6809646742","https://openalex.org/W6857597798","https://openalex.org/W6858189809","https://openalex.org/W6869616974","https://openalex.org/W6869935774"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"have":[4],"gained":[5],"immense":[6],"popularity":[7],"and":[8,47,54,84,108,147],"are":[9,39,95],"being":[10,40,163],"explored":[11,42,164],"for":[12,24,35,43,115,122,150,153],"use":[13,26],"in":[14,27,129,139,187,193],"several":[15],"domains.":[16],"In":[17],"this":[18,140],"paper,":[19],"we":[20,142,181],"describe":[21],"the":[22,28,51,55,59,62,68,89,92,106,110,144,159,170,173,184,189,194],"LLMs":[23,38,107,152,190],"their":[25],"Electronic":[29],"Design":[30],"Automation":[31],"(EDA)":[32],"domain":[33],"specifically":[34],"hardware":[36,44,160,195],"verification.":[37,48,123],"rapidly":[41],"design":[45,117],"generation":[46,118],"However,":[49],"given":[50],"inherent":[52],"non-determinism":[53],"limited":[56],"capabilities":[57,112],"of":[58,76,91,127,172],"current":[60,125],"LLMs,":[61],"designs":[63],"may":[64],"contain":[65],"bugs":[66,80],"or":[67],"generated":[69,177],"properties":[70,176],"could":[71],"be":[72,82,136],"incorrect.":[73],"The":[74,124],"process":[75],"manually":[77],"checking":[78],"these":[79,99,130],"can":[81,131,191],"tedious":[83],"time-consuming.":[85],"This":[86],"highly":[87],"limits":[88],"applicability":[90],"LLMs.":[93,166,179],"Researchers":[94],"looking":[96],"to":[97,135],"alleviate":[98],"limitations":[100],"by":[101],"incorporating":[102],"verification":[103,161,196],"strategies":[104],"using":[105,165,178],"enhancing":[109],"LLMs\u2019":[111],"not":[113],"only":[114],"bug-free":[116],"but":[119],"also":[120],"stand-alone":[121],"pace":[126],"development":[128],"cause":[132],"many":[133],"areas":[134],"overlooked.":[137],"Therefore":[138],"work,":[141],"discuss":[143,158,169,183],"state-of-the-art":[145],"tools":[146],"frameworks":[148],"available":[149],"utilizing":[151],"EDA.":[154],"We":[155,167],"will":[156,182],"then":[157,168],"techniques":[162],"consistency":[171],"natural":[174],"language":[175],"Lastly,":[180],"future":[185],"directions":[186],"which":[188],"aid":[192],"process.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}