{"id":"https://openalex.org/W4410887095","doi":"https://doi.org/10.1109/isqed65160.2025.11014472","title":"Adding Context to LLM-Guided Verilog Repair","display_name":"Adding Context to LLM-Guided Verilog Repair","publication_year":2025,"publication_date":"2025-04-23","ids":{"openalex":"https://openalex.org/W4410887095","doi":"https://doi.org/10.1109/isqed65160.2025.11014472"},"language":"en","primary_location":{"id":"doi:10.1109/isqed65160.2025.11014472","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed65160.2025.11014472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 26th International Symposium on Quality Electronic Design (ISQED)","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/A5112003663","display_name":"A.M. El-Naggar","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["CA","ES"],"is_corresponding":false,"raw_author_name":"Abdelrahman Elnaggar","raw_affiliation_strings":["Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I97750245"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069388936","display_name":"Benjamin Tan","orcid":"https://orcid.org/0000-0002-7642-3638"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["CA","ES"],"is_corresponding":false,"raw_author_name":"Benjamin Tan","raw_affiliation_strings":["Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I97750245"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12014145,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14330","display_name":"Library Science and Information Systems","score":0.8190000057220459,"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/T14330","display_name":"Library Science and Information Systems","score":0.8190000057220459,"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/T13999","display_name":"Digital Rights Management and Security","score":0.7153000235557556,"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/computer-science","display_name":"Computer science","score":0.7245409488677979},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5693904161453247},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.5355178713798523},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3423866331577301},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33059465885162354},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.25705212354660034},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.0769992470741272},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.044622212648391724}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7245409488677979},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5693904161453247},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.5355178713798523},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3423866331577301},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33059465885162354},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25705212354660034},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0769992470741272},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.044622212648391724},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed65160.2025.11014472","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed65160.2025.11014472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 26th International Symposium on Quality Electronic Design (ISQED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3224591349","display_name":"Improving Hardware Security During Design And Deployment","funder_award_id":"rgpin-2022-03027","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320310709","display_name":"CMC Microsystems","ror":"https://ror.org/03k70ea39"},{"id":"https://openalex.org/F4320325651","display_name":"Alberta Innovates","ror":null},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2998011150","https://openalex.org/W4281763794","https://openalex.org/W4294956360","https://openalex.org/W4384345708","https://openalex.org/W4384345745","https://openalex.org/W4392544408","https://openalex.org/W6787830629","https://openalex.org/W6808669227"],"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":{"Register":[0],"transfer":[1],"level":[2],"(RTL)":[3],"bugs":[4,22],"are":[5],"critical":[6],"issues":[7],"that":[8,27,52],"affect":[9],"the":[10,29,87,92,108,112,117],"functional":[11],"correctness,":[12],"security,":[13],"and":[14,40],"performance":[15],"of":[16,31,79,100,107],"systems-on-chip":[17],"(SoC).":[18],"Traditionally,":[19],"repairing":[20],"these":[21],"is":[23],"a":[24,54,96],"time-consuming":[25],"process":[26],"requires":[28],"expertise":[30],"experienced":[32],"engineers,":[33],"leading":[34],"to":[35,59,85],"prolonged":[36],"SoC":[37],"development":[38],"cycles":[39],"reduced":[41],"vendor":[42],"competitiveness.":[43],"In":[44],"this":[45],"paper,":[46],"we":[47],"propose":[48],"an":[49],"automated":[50],"framework":[51],"utilizes":[53],"Large":[55],"Language":[56],"Model":[57],"(LLM)":[58],"repair":[60,97],"RTL":[61],"bugs.":[62],"We":[63],"investigate":[64],"four":[65],"prompting":[66],"strategies":[67],"(each":[68],"with":[69],"around":[70],"five":[71],"variants),":[72],"where":[73],"each":[74],"strategy":[75],"incorporates":[76],"different":[77],"levels":[78],"context":[80],"(such":[81],"as":[82],"simulation":[83],"output)":[84],"guide":[86],"LLM.":[88],"Our":[89],"framework,":[90],"using":[91],"best-performing":[93],"strategy,":[94],"achieves":[95],"success":[98],"rate":[99],"65.6%":[101],"on":[102],"benchmarks":[103],"without":[104],"prior":[105],"knowledge":[106],"bug's":[109],"location":[110],"or":[111],"specific":[113],"steps":[114],"needed":[115],"for":[116],"repair.":[118]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}