{"id":"https://openalex.org/W4409248892","doi":"https://doi.org/10.1109/tr.2025.3547739","title":"Insights From Bugs in FPGA High-Level Synthesis Tools: An Empirical Study of Bambu Bugs","display_name":"Insights From Bugs in FPGA High-Level Synthesis Tools: An Empirical Study of Bambu Bugs","publication_year":2025,"publication_date":"2025-04-08","ids":{"openalex":"https://openalex.org/W4409248892","doi":"https://doi.org/10.1109/tr.2025.3547739"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2025.3547739","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2025.3547739","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","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/A5101452807","display_name":"Zun Wang","orcid":"https://orcid.org/0009-0006-1478-5963"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zun Wang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0009-0006-1478-5963","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328758","display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018071549","display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["Information Science and Technology College, Dalian Maritime University, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"Information Science and Technology College, Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102678414","display_name":"Xu Zhao","orcid":"https://orcid.org/0009-0001-3476-0994"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Zhao","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-3476-0994","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108823933","display_name":"Yi Zhang","orcid":"https://orcid.org/0009-0001-3785-9324"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4626,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61421238,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"74","issue":"3","first_page":"3341","last_page":"3355"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9940000176429749,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9909999966621399,"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/software-bug","display_name":"Software bug","score":0.6158895492553711},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5987693667411804},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5775849223136902},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.5445767045021057},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5232231020927429},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.45656687021255493},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40452101826667786},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3840416669845581},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2913099527359009},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.25286102294921875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17336159944534302},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09603559970855713}],"concepts":[{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6158895492553711},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5987693667411804},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5775849223136902},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.5445767045021057},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5232231020927429},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.45656687021255493},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40452101826667786},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3840416669845581},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2913099527359009},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25286102294921875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17336159944534302},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09603559970855713},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2025.3547739","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2025.3547739","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1847967853","display_name":null,"funder_award_id":"2024JJ12GX022","funder_id":"https://openalex.org/F4320336584","funder_display_name":"Dalian Science and Technology Innovation Fund"},{"id":"https://openalex.org/G3427093674","display_name":null,"funder_award_id":"62032004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5057948433","display_name":null,"funder_award_id":"62472062","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6007899901","display_name":null,"funder_award_id":"62202079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320336584","display_name":"Dalian Science and Technology Innovation Fund","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1542403854","https://openalex.org/W1970032753","https://openalex.org/W2060763196","https://openalex.org/W2097451609","https://openalex.org/W2127699991","https://openalex.org/W2166029537","https://openalex.org/W2461570336","https://openalex.org/W2532737545","https://openalex.org/W2567559802","https://openalex.org/W2614025272","https://openalex.org/W2794853412","https://openalex.org/W2800690434","https://openalex.org/W2905285402","https://openalex.org/W2906249193","https://openalex.org/W2936148765","https://openalex.org/W2968594320","https://openalex.org/W3004659153","https://openalex.org/W3006236305","https://openalex.org/W3011481298","https://openalex.org/W3085407124","https://openalex.org/W3089476745","https://openalex.org/W3102754077","https://openalex.org/W3113205478","https://openalex.org/W3163159351","https://openalex.org/W3169517138","https://openalex.org/W3172669705","https://openalex.org/W3186304123","https://openalex.org/W3194984065","https://openalex.org/W3196239222","https://openalex.org/W3205281171","https://openalex.org/W3211884787","https://openalex.org/W4200504397","https://openalex.org/W4206578767","https://openalex.org/W4211236386","https://openalex.org/W4213072374","https://openalex.org/W4220750011","https://openalex.org/W4238083723","https://openalex.org/W4241615935","https://openalex.org/W4308916273","https://openalex.org/W4376606588","https://openalex.org/W4384302906","https://openalex.org/W4385489572","https://openalex.org/W4385489606","https://openalex.org/W4393065402","https://openalex.org/W4396712556","https://openalex.org/W4399390863"],"related_works":["https://openalex.org/W2111241003","https://openalex.org/W2355315220","https://openalex.org/W4200391368","https://openalex.org/W2210979487","https://openalex.org/W2316202402","https://openalex.org/W2074043759","https://openalex.org/W2082487009","https://openalex.org/W2373535795","https://openalex.org/W2612099726","https://openalex.org/W2160632767"],"abstract_inverted_index":{"High-level":[0],"synthesis":[1],"(HLS)":[2],"tools":[3,25],"have":[4,54],"been":[5,56],"widely":[6,90],"used":[7,91],"in":[8,35,128,210],"field-programmable":[9],"gate":[10],"array":[11],"(FPGA)":[12],"design":[13],"to":[14,18,28,39,78,150,162,193,208],"convert":[15],"C/C++":[16],"code":[17,160,189],"hardware":[19],"description":[20],"language":[21,206],"code.":[22],"Unfortunately,":[23],"HLS":[24,66,80,92,176,199,212],"are":[26,119,134],"susceptible":[27],"bugs,":[29,153],"which":[30,59],"can":[31],"introduce":[32],"serious":[33],"vulnerabilities":[34],"FPGA":[36],"products,":[37],"leading":[38],"substantial":[40],"losses.":[41],"However,":[42],"the":[43,74,98,142,170],"characteristics":[44],"of":[45,88,106,125,139,145,159],"these":[46,107,152,179],"bugs":[47,87,108,132],"(e.g.,":[48],"root":[49,99,126],"causes":[50,127],"and":[51,103,156,203],"bug-prone":[52],"stages)":[53],"never":[55],"systematically":[57],"studied,":[58],"significantly":[60],"hinders":[61],"developers":[62,184],"from":[63,173],"effectively":[64],"handling":[65],"tool":[67,81,200,213],"bugs.":[68,177,214],"To":[69],"this":[70],"end,":[71],"we":[72,181],"conduct":[73],"first":[75],"empirical":[76],"study":[77,97],"uncover":[79],"bug":[82,104,201],"characteristics.":[83],"We":[84,96,121,167],"collect":[85],"349":[86],"a":[89,111],"tool,":[93],"namely":[94],"Bambu.":[95],"causes,":[100],"buggy":[101],"stages,":[102],"fixes":[105],"by":[109,136],"applying":[110],"multiperson":[112],"collaboration":[113],"method.":[114],"Finally,":[115],"13":[116],"valuable":[117],"findings":[118],"summarized.":[120],"find":[122],"14":[123],"categories":[124],"Bambu":[129,146],"bugs;":[130],"most":[131],"(22.1%)":[133],"caused":[135],"incorrect":[137],"implementation":[138],"IR":[140],"processing;":[141],"front":[143],"end":[144],"is":[147],"more":[148],"bug-prone;":[149],"fix":[151],"2.27":[154],"files":[155],"80.19":[157],"lines":[158],"need":[161],"be":[163],"modified":[164],"on":[165],"average.":[166],"also":[168],"present":[169],"insights":[171],"gained":[172],"95":[174],"Vitis":[175],"From":[178],"findings,":[180],"suggest":[182],"that":[183],"could":[185],"use":[186],"an":[187],"on-the-fly":[188],"generator":[190],"configuration":[191],"method":[192],"generate":[194],"suitable":[195],"testing":[196],"programs":[197],"for":[198],"detection":[202],"apply":[204],"large":[205],"models":[207],"assist":[209],"fixing":[211]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}