{"id":"https://openalex.org/W4416429949","doi":"https://doi.org/10.1109/iccad66269.2025.11240664","title":"HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions","display_name":"HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429949","doi":"https://doi.org/10.1109/iccad66269.2025.11240664"},"language":"en","primary_location":{"id":"doi:10.1109/iccad66269.2025.11240664","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","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/A5100378605","display_name":"Jing Wang","orcid":"https://orcid.org/0000-0002-8877-7134"},"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"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jing Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101520717","display_name":"Shang Liu","orcid":"https://orcid.org/0009-0000-0057-7844"},"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"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shang Liu","raw_affiliation_strings":["Hong Kong University of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101746530","display_name":"Yao Lu","orcid":"https://orcid.org/0009-0007-3230-7786"},"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"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yao Lu","raw_affiliation_strings":["Hong Kong University of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101509934","display_name":"Zhiyao Xie","orcid":"https://orcid.org/0009-0005-4608-6895"},"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"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhiyao Xie","raw_affiliation_strings":["Hong Kong University of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.2533000111579895,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.2533000111579895,"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/T10260","display_name":"Software Engineering Research","score":0.10289999842643738,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.07119999825954437,"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/debugging","display_name":"Debugging","score":0.9218999743461609},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5866000056266785},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.5472000241279602},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46140000224113464},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4496999979019165},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.400299996137619}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9218999743461609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.695900022983551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6794000267982483},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5866000056266785},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.5472000241279602},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46140000224113464},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4496999979019165},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.37770000100135803},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36399999260902405},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36090001463890076},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240664","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-169017","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-169017","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":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321920","display_name":"Innovation and Technology Commission","ror":"https://ror.org/04vf9tr09"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W2155653793","https://openalex.org/W2762550985","https://openalex.org/W2906781054","https://openalex.org/W3198685994","https://openalex.org/W4385245566","https://openalex.org/W4391182436","https://openalex.org/W4393145429","https://openalex.org/W4402457600","https://openalex.org/W4402670687","https://openalex.org/W4403023622","https://openalex.org/W4403024064","https://openalex.org/W4403024086","https://openalex.org/W4403024120","https://openalex.org/W4403024143","https://openalex.org/W4404134046","https://openalex.org/W4409285500","https://openalex.org/W4410407476"],"related_works":[],"abstract_inverted_index":{"High-level":[0],"synthesis":[1],"(HLS)":[2],"accelerates":[3],"hardware":[4,16,38,90],"design":[5],"by":[6,185],"enabling":[7],"the":[8,53,58,134,171,198],"automatic":[9],"translation":[10],"of":[11,44,107,200,203],"high-level":[12],"descriptions":[13],"into":[14],"efficient":[15],"implementations.":[17],"However,":[18],"debugging":[19,55,202],"HLS":[20,54,69,150,204],"code":[21],"is":[22,49,79,91],"a":[23,82,125,141,194],"challenging":[24],"and":[25,118,139,167,184],"labor-intensive":[26],"task,":[27],"especially":[28],"for":[29,76],"novice":[30],"circuit":[31,74],"designers":[32],"or":[33],"software":[34,97],"engineers":[35],"without":[36],"sufficient":[37],"domain":[39],"knowledge.":[40],"The":[41,105,153],"recent":[42],"emergence":[43],"Large":[45],"Language":[46],"Models":[47],"(LLMs)":[48],"promising":[50],"in":[51,89,181,189,197],"automating":[52],"process.":[56],"Despite":[57],"great":[59],"potential,":[60],"three":[61],"key":[62],"challenges":[63],"persist":[64],"when":[65],"applying":[66],"LLMs":[67,78,178],"to":[68,132],"logic":[70,87,151],"debugging:":[71],"1)":[72],"High-quality":[73],"data":[75,147],"training":[77],"scarce,":[80],"posing":[81],"significant":[83],"challenge.":[84],"2)":[85],"Debugging":[86],"bugs":[88,98],"inherently":[92],"more":[93,186],"complex":[94],"than":[95,187],"identifying":[96],"with":[99,145,170],"existing":[100],"golden":[101],"test":[102,109],"cases.":[103],"3)":[104],"absence":[106],"reliable":[108],"cases":[110],"requires":[111],"multi-tasking":[112],"solutions,":[113],"performing":[114,160],"both":[115],"bug":[116,161,164,168,182,190],"identification":[117,183],"correction.":[119,191],"In":[120],"this":[121],"work,":[122],"we":[123],"propose":[124],"customized":[126],"solution":[127],"named":[128],"HLSDebugger<sup":[129],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[130],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>,":[131],"address":[133],"challenges.":[135],"HLSDebugger":[136,154,174],"first":[137],"generates":[138],"releases":[140],"large":[142],"labeled":[143],"dataset":[144],"300K":[146],"samples,":[148],"targeting":[149],"bugs.":[152],"model":[155],"adopts":[156],"an":[157],"encoder-decoder":[158],"structure,":[159],"location":[162],"identification,":[163],"type":[165],"prediction,":[166],"correction":[169],"same":[172],"model.":[173],"significantly":[175],"outperforms":[176],"advanced":[177],"like":[179],"GPT-4":[180],"3\u00d7":[188],"It":[192],"makes":[193],"substantial":[195],"advancement":[196],"exploration":[199],"automated":[201],"code.":[205]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-20T00:00:00"}