{"id":"https://openalex.org/W4413677548","doi":"https://doi.org/10.1109/tcad.2025.3603097","title":"SRepair: Symbolic Regression-Based Repair for Hardware Design Code","display_name":"SRepair: Symbolic Regression-Based Repair for Hardware Design Code","publication_year":2025,"publication_date":"2025-08-26","ids":{"openalex":"https://openalex.org/W4413677548","doi":"https://doi.org/10.1109/tcad.2025.3603097"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2025.3603097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3603097","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","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":null,"display_name":"Zizhen Liu","orcid":"https://orcid.org/0009-0004-6107-5927"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zizhen Liu","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0009-0004-6107-5927","affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003136837","display_name":"Deheng Yang","orcid":"https://orcid.org/0000-0002-8383-1939"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deheng Yang","raw_affiliation_strings":["Academy of Military Sciences, Beijing, China","Academy of Military Sciences, China"],"raw_orcid":"https://orcid.org/0000-0002-8383-1939","affiliations":[{"raw_affiliation_string":"Academy of Military Sciences, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Academy of Military Sciences, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Mao","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-4204-7424","affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034699862","display_name":"Jiayu He","orcid":"https://orcid.org/0000-0002-1329-7312"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiayu He","raw_affiliation_strings":["Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-1329-7312","affiliations":[{"raw_affiliation_string":"Key Laboratory of Software Engineering for Complex Systems, College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer Science and Technology, Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049705266","display_name":"Guangda Zhang","orcid":"https://orcid.org/0000-0003-4732-9674"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guangda Zhang","raw_affiliation_strings":["Academy of Military Sciences, Beijing, China","Academy of Military Sciences, China"],"raw_orcid":"https://orcid.org/0000-0003-4732-9674","affiliations":[{"raw_affiliation_string":"Academy of Military Sciences, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Academy of Military Sciences, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100639534","display_name":"Yan Lei","orcid":"https://orcid.org/0000-0003-4504-6806"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Lei","raw_affiliation_strings":["Chongqing University, Chongqing, China","Chongqing University, China"],"raw_orcid":"https://orcid.org/0000-0003-4504-6806","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]},{"raw_affiliation_string":"Chongqing University, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021371093","display_name":"Jiang Wu","orcid":"https://orcid.org/0000-0002-6353-8890"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiang Wu","raw_affiliation_strings":["Academy of Military Sciences, Beijing, China","Academy of Military Sciences, China"],"raw_orcid":"https://orcid.org/0000-0002-6353-8890","affiliations":[{"raw_affiliation_string":"Academy of Military Sciences, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Academy of Military Sciences, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"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.20559227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"3","first_page":"1509","last_page":"1522"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9884999990463257,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9884999990463257,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9835000038146973,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9799000024795532,"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/computer-science","display_name":"Computer science","score":0.6003121733665466},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5961464047431946},{"id":"https://openalex.org/keywords/symbolic-regression","display_name":"Symbolic regression","score":0.5525708198547363},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5116775035858154},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3969746232032776},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35741573572158813},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19605863094329834},{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.0463140606880188}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6003121733665466},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5961464047431946},{"id":"https://openalex.org/C2776400721","wikidata":"https://www.wikidata.org/wiki/Q18171762","display_name":"Symbolic regression","level":3,"score":0.5525708198547363},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5116775035858154},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3969746232032776},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35741573572158813},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19605863094329834},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.0463140606880188},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3603097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3603097","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7273186273","display_name":null,"funder_award_id":"62474196","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8237595354","display_name":null,"funder_award_id":"62402515","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2394133867","https://openalex.org/W280605544","https://openalex.org/W1567571923","https://openalex.org/W2176963978","https://openalex.org/W4319653604","https://openalex.org/W4389372248","https://openalex.org/W2019081667","https://openalex.org/W4312384983","https://openalex.org/W4384024946","https://openalex.org/W2294564145"],"abstract_inverted_index":{"Fixing":[0],"bugs":[1,34,64,139,175],"in":[2,35,48,80],"hardware":[3,36,178],"design":[4],"code":[5],"has":[6],"become":[7],"a":[8,21,68,86,114],"challenging":[9],"task":[10],"due":[11],"to":[12,30,95],"the":[13,59,129,151,163,194],"increasing":[14],"complexity":[15],"of":[16,61,77,141,165,173],"modern":[17],"circuit":[18],"designs.":[19,179],"As":[20],"result,":[22],"automated":[23],"program":[24],"repair":[25,72],"techniques":[26,44],"have":[27],"been":[28],"proposed":[29],"synthesize":[31],"patches":[32],"for":[33,51,106],"designs":[37],"and":[38,108,147,157],"achieved":[39],"promising":[40],"results.":[41],"However,":[42],"existing":[43],"are":[45],"still":[46],"limited":[47],"synthesizing":[49],"expressions":[50],"complex":[52,63,124],"bugs.":[53],"In":[54],"this":[55],"work,":[56],"we":[57,84,99,112,167],"explore":[58],"possibility":[60],"addressing":[62],"by":[65,176,185],"proposing":[66],"SREPAIR,":[67,166],"novel":[69,87,115],"symbolic":[70,116],"regression-based":[71],"technique.":[73],"The":[74],"key":[75],"novelty":[76],"SREPAIR":[78,135,180],"lies":[79],"three":[81],"aspects:":[82],"1)":[83],"propose":[85],"expression":[88,101],"modification":[89],"encoding":[90],"that":[91,104,121,134],"enables":[92],"fine-grained":[93],"adjustments":[94],"buggy":[96],"expressions.":[97,125],"2)":[98],"introduce":[100],"synthesis-based":[102],"templates":[103],"allow":[105],"flexible":[107],"expressive":[109],"repairs.":[110],"3)":[111],"develop":[113],"regression":[117],"network-based":[118],"synthesis":[119],"algorithm":[120],"effectively":[122],"synthesizes":[123],"Experimental":[126],"results":[127],"on":[128],"four":[130],"peer-reviewed":[131],"datasets":[132],"demonstrate":[133],"correctly":[136,186],"fixes":[137],"56":[138],"out":[140],"112":[142],"bugs,":[143,189],"which":[144],"achieves":[145],"43.6%":[146],"194.7%":[148],"improvement":[149,192],"over":[150,193],"previous":[152],"state-of-the-art":[153],"RTL-REPAIR":[154],"(39":[155],"bugs)":[156],"CIRFIX":[158],"(19":[159],"bugs).":[160],"To":[161],"evaluate":[162],"generalizability":[164,184],"further":[168],"construct":[169],"an":[170],"augmented":[171],"dataset":[172],"282":[174],"mutating":[177],"shows":[181],"its":[182],"better":[183],"fixing":[187],"127":[188],"reaching":[190],"217.5%":[191],"best":[195],"approach.":[196]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}