{"id":"https://openalex.org/W4415003736","doi":"https://doi.org/10.1109/mlcad65511.2025.11189127","title":"BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis","display_name":"BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis","publication_year":2025,"publication_date":"2025-09-08","ids":{"openalex":"https://openalex.org/W4415003736","doi":"https://doi.org/10.1109/mlcad65511.2025.11189127"},"language":"en","primary_location":{"id":"doi:10.1109/mlcad65511.2025.11189127","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189127","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/A5092977546","display_name":"Surya Jasper","orcid":null},"institutions":[{"id":"https://openalex.org/I4210102456","display_name":"Accelerated Medical Diagnostics (United States)","ror":"https://ror.org/00z0kkz74","country_code":"US","type":"company","lineage":["https://openalex.org/I4210102456"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Surya Jasper","raw_affiliation_strings":["AMD,San Jose,California,USA"],"affiliations":[{"raw_affiliation_string":"AMD,San Jose,California,USA","institution_ids":["https://openalex.org/I4210102456"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045146285","display_name":"Minh Luu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210144190","display_name":"Infineon Technologies (United States)","ror":"https://ror.org/04e4db319","country_code":"US","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210144190"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Minh Luu","raw_affiliation_strings":["Infineon Technologies,Hanoi,Vietnam"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies,Hanoi,Vietnam","institution_ids":["https://openalex.org/I4210144190"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111219707","display_name":"Evan Pan","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Evan Pan","raw_affiliation_strings":["Texas A&M University,College Station,Texas,USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University,College Station,Texas,USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045346930","display_name":"Aakash Tyagi","orcid":"https://orcid.org/0000-0002-0199-687X"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aakash Tyagi","raw_affiliation_strings":["Texas A&M University,College Station,Texas,USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University,College Station,Texas,USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031856727","display_name":"Michael Quinn","orcid":"https://orcid.org/0000-0002-6053-670X"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Quinn","raw_affiliation_strings":["Texas A&M University,College Station,Texas,USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University,College Station,Texas,USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100326930","display_name":"Jiang Hu","orcid":"https://orcid.org/0000-0003-4243-8767"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiang Hu","raw_affiliation_strings":["Texas A&M University,College Station,Texas,USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University,College Station,Texas,USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079798993","display_name":"David Kebo Houngninou","orcid":"https://orcid.org/0000-0002-7017-8440"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Houngninou","raw_affiliation_strings":["Texas A&M University,College Station,Texas,USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University,College Station,Texas,USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5092977546"],"corresponding_institution_ids":["https://openalex.org/I4210102456"],"apc_list":null,"apc_paid":null,"fwci":2.2387,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.89946982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9814000129699707,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9814000129699707,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9765999913215637,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.974399983882904,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7716000080108643},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7427999973297119},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.7195000052452087},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.647599995136261},{"id":"https://openalex.org/keywords/rollback","display_name":"Rollback","score":0.5519999861717224},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4551999866962433},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.424699991941452},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4194999933242798},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.39259999990463257}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8353999853134155},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7716000080108643},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7427999973297119},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.7195000052452087},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.647599995136261},{"id":"https://openalex.org/C174220543","wikidata":"https://www.wikidata.org/wiki/Q395307","display_name":"Rollback","level":3,"score":0.5519999861717224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.504800021648407},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4551999866962433},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.424699991941452},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4194999933242798},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.39259999990463257},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34389999508857727},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.32429999113082886},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.31709998846054077},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.30149999260902405},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2906999886035919},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.27129998803138733},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2705000042915344},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.2662999927997589},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.25600001215934753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mlcad65511.2025.11189127","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189127","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":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2029517828","https://openalex.org/W2113995939","https://openalex.org/W4386764794","https://openalex.org/W4395001508","https://openalex.org/W4415004432"],"related_works":[],"abstract_inverted_index":{"Hardware":[0],"complexity":[1],"continues":[2],"to":[3,15,39,59,88,177],"strain":[4],"verification":[5,143,215],"resources,":[6],"motivating":[7],"the":[8,153,194],"adoption":[9],"of":[10,47,114,158,199],"machine":[11],"learning":[12],"(ML)":[13],"methods":[14,37],"improve":[16],"debug":[17],"efficiency.":[18],"However,":[19],"ML-assisted":[20,218],"debugging":[21],"critically":[22],"depends":[23],"on":[24],"diverse":[25],"and":[26,63,81,85,92,110,162,166,197,217],"scalable":[27,206],"bug":[28,35,168,211],"datasets,":[29,212],"which":[30],"existing":[31],"manual":[32,125],"or":[33],"automated":[34],"insertion":[36],"fail":[38],"reliably":[40],"produce.":[41],"We":[42],"introduce":[43],"BugGen,":[44],"a":[45,77,112,205],"first":[46],"its":[48,139],"kind,":[49],"fully":[50],"autonomous,":[51],"multi-agent":[52],"pipeline":[53],"leveraging":[54],"Large":[55],"Language":[56],"Models":[57],"(LLMs)":[58],"systematically":[60],"generate,":[61],"insert,":[62],"validate":[64],"realistic":[65],"functional":[66,93,108],"bugs":[67,105,117,134],"in":[68,135,141],"RTL.":[69],"BugGen":[70,101,129,149,202],"partitions":[71],"modules,":[72],"selects":[73],"mutation":[74],"targets":[75],"via":[76],"closed-loop":[78],"agentic":[79],"architecture,":[80],"employs":[82],"iterative":[83],"refinement":[84],"rollback":[86],"mechanisms":[87],"ensure":[89],"syntactic":[90,154],"correctness":[91],"detectability.":[94],"Evaluated":[95],"across":[96,189],"five":[97,120],"OpenTitan":[98,136],"IP":[99,191],"blocks,":[100,192],"produced":[102],"500":[103],"unique":[104],"with":[106],"94%":[107],"accuracy":[109,187],"achieved":[111,184],"throughput":[113],"17.7":[115],"validated":[116],"per":[118],"hour\u2014over":[119],"times":[121],"faster":[122],"than":[123],"typical":[124],"expert":[126],"insertion.":[127],"Additionally,":[128],"identified":[130],"104":[131],"previously":[132],"undetected":[133],"regressions,":[137],"highlighting":[138],"utility":[140,196],"exposing":[142],"coverage":[144],"gaps.":[145],"Compared":[146],"against":[147],"Certitude,":[148],"demonstrated":[150],"over":[151],"twice":[152],"accuracy,":[155],"deeper":[156],"exposure":[157],"testbench":[159],"blind":[160],"spots,":[161],"more":[163],"functionally":[164],"meaningful":[165],"complex":[167],"scenarios.":[169],"Furthermore,":[170],"when":[171],"these":[172],"BugGen-Generated":[173],"datasets":[174],"were":[175],"employed":[176],"train":[178],"ML-based":[179],"failure":[180],"triage":[181],"models,":[182],"we":[183],"high":[185],"classification":[186],"(88.1%\u201393.2%)":[188],"different":[190],"confirming":[193],"practical":[195],"realism":[198],"generated":[200],"bugs.":[201],"thus":[203],"provides":[204],"solution":[207],"for":[208],"generating":[209],"high-quality":[210],"significantly":[213],"enhancing":[214],"efficiency":[216],"debugging.":[219]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}