{"id":"https://openalex.org/W4415003296","doi":"https://doi.org/10.1109/mlcad65511.2025.11189213","title":"Trusting the Machine: How Secure is LLM-Generated RTL Code?","display_name":"Trusting the Machine: How Secure is LLM-Generated RTL Code?","publication_year":2025,"publication_date":"2025-09-08","ids":{"openalex":"https://openalex.org/W4415003296","doi":"https://doi.org/10.1109/mlcad65511.2025.11189213"},"language":"en","primary_location":{"id":"doi:10.1109/mlcad65511.2025.11189213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","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/A5050184869","display_name":"Zahin Ibnat","orcid":"https://orcid.org/0000-0001-5664-4428"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zahin Ibnat","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093015797","display_name":"Paul E. Calzada","orcid":"https://orcid.org/0000-0002-5001-6321"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul E. Calzada","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043059816","display_name":"Dipayan Saha","orcid":"https://orcid.org/0000-0001-9785-7024"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dipayan Saha","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005539234","display_name":"Hasan Al-Shaikh","orcid":"https://orcid.org/0000-0002-6142-7329"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hasan Al-Shaikh","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015406724","display_name":"Sujan Kumar Saha","orcid":"https://orcid.org/0000-0002-7275-7980"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sujan Kumar Saha","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100691135","display_name":"Jingbo Zhou","orcid":"https://orcid.org/0000-0002-1375-9644"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingbo Zhou","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019820972","display_name":"Farimah Farahmandi","orcid":"https://orcid.org/0000-0003-1535-0938"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farimah Farahmandi","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073054890","display_name":"Mark Tehranipoor","orcid":"https://orcid.org/0000-0003-4699-3231"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark Tehranipoor","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.844,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.96891677,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13999","display_name":"Digital Rights Management and Security","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10237","display_name":"Cryptography and Data Security","score":0.944599986076355,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9420999884605408,"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/design-flow","display_name":"Design flow","score":0.5576000213623047},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4724999964237213},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.3978999853134155},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.35109999775886536},{"id":"https://openalex.org/keywords/information-leakage","display_name":"Information leakage","score":0.33379998803138733},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.3294999897480011},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.322299987077713},{"id":"https://openalex.org/keywords/electronic-design-automation","display_name":"Electronic design automation","score":0.31700000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6273999810218811},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6018000245094299},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5576000213623047},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4724999964237213},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.3978999853134155},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.35109999775886536},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.33379998803138733},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.3294999897480011},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.322299987077713},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.31029999256134033},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.2973000109195709},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C77109596","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Application security","level":5,"score":0.2919999957084656},{"id":"https://openalex.org/C22680326","wikidata":"https://www.wikidata.org/wiki/Q7444867","display_name":"Secure coding","level":5,"score":0.29170000553131104},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2786000072956085},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C2776416436","wikidata":"https://www.wikidata.org/wiki/Q3751781","display_name":"Domino","level":3,"score":0.27239999175071716},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.2671999931335449}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mlcad65511.2025.11189213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W3082750925","https://openalex.org/W4288057765","https://openalex.org/W4293022988","https://openalex.org/W4381798374","https://openalex.org/W4388040405","https://openalex.org/W4389166691","https://openalex.org/W4389166737","https://openalex.org/W4390098682","https://openalex.org/W4391681217","https://openalex.org/W4399396317","https://openalex.org/W4403024064","https://openalex.org/W4403024154","https://openalex.org/W4403511190","https://openalex.org/W4404103182","https://openalex.org/W4404133728","https://openalex.org/W4406014556","https://openalex.org/W4413822481","https://openalex.org/W7084125780"],"related_works":[],"abstract_inverted_index":{"With":[0],"the":[1,16,37,55,120,130,169],"desire":[2],"for":[3],"hardware":[4,146],"design":[5,18,147],"automation,":[6],"large":[7],"language":[8],"models":[9],"(LLMs)":[10],"are":[11,155],"being":[12],"increasingly":[13],"incorporated":[14],"into":[15],"IC":[17],"flow":[19],"to":[20,101,164],"assist":[21],"in":[22,107,145],"register":[23],"transfer":[24],"level":[25],"(RTL)":[26],"generation,":[27],"IP":[28],"development":[29],"acceleration,":[30],"reduction":[31],"of":[32,39,90,119,135,171],"time-to-market":[33],"(TTM),":[34],"and":[35,77,94,133,158,189],"satisfying":[36],"demands":[38],"modern":[40],"applications":[41],"such":[42,68,86],"as":[43,69,87],"AI":[44],"accelerators.":[45],"However,":[46],"they":[47],"do":[48],"not":[49,156],"incorporate":[50],"security":[51,84,126,176],"considerations":[52],"when":[53],"generating":[54],"designs.":[56,137],"Our":[57],"initial":[58],"investigation":[59],"reveals":[60],"that":[61,98,128,152,182],"RTL":[62,153,199],"code":[63],"created":[64],"by":[65],"leading":[66],"LLMs":[67],"OpenAI\u2019s":[70],"ChatGPT":[71],"[1],":[72],"Google":[73],"DeepMind\u2019s":[74],"Gemini":[75],"[2],":[76],"xAI\u2019s":[78],"Grok":[79],"[3]":[80],"can":[81,179,193],"exhibit":[82],"important":[83],"flaws,":[85],"improper":[88],"handling":[89],"registers,":[91],"nonsecure":[92],"datapaths,":[93],"missing":[95],"access":[96],"controls,":[97],"may":[99],"lead":[100],"information":[102],"leakage":[103],"or":[104],"system":[105],"malfunction":[106],"security-critical":[108],"applications.":[109],"Of":[110],"42":[111],"LLM-generated":[112],"designs":[113,121,154],"on":[114],"7":[115],"different":[116],"models,":[117],"74%":[118],"contained":[122],"at":[123],"least":[124],"one":[125],"vulnerability":[127],"compromises":[129],"confidentiality,":[131],"integrity,":[132],"availability":[134],"these":[136],"Although":[138],"AI-driven":[139],"automation":[140],"presents":[141],"a":[142],"significant":[143],"benefits":[144,170],"flows,":[148],"our":[149],"study":[150],"indicates":[151],"secure":[157],"specific":[159],"mechanisms":[160],"should":[161],"be":[162],"taken":[163],"mitigate":[165,195],"vulnerabilities":[166,196],"while":[167],"using":[168,183],"LLMs.":[172],"From":[173],"this":[174],"paper\u2019s":[175],"investigation,":[177],"we":[178],"sufficiently":[180],"suggest":[181],"CWE-guided":[184],"prompting,":[185],"formal":[186],"property":[187],"checks,":[188],"FSM-level":[190],"structural":[191],"validation":[192],"help":[194],"during":[197],"LLM-guided":[198],"generation.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}