CirFix: automatically repairing defects in hardware design code

Created by W.Langdon from gp-bibliography.bib Revision:1.7630

@InProceedings{DBLP:conf/asplos/Ahmad0W22,

• author = "Hammad Ahmad and Yu Huang and Westley Weimer",
• title = "{CirFix}: automatically repairing defects in hardware design code",
• booktitle = "ASPLOS 2022: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems",
• year = "2022",
• editor = "Babak Falsafi and Michael Ferdman and Shan Lu and Thomas F. Wenisch",
• pages = "990--1003",
• address = "Lausanne, Switzerland",
• month = "28 " # feb # "- 4 " # mar,
• publisher = "ACM",
• keywords = "genetic algorithms, genetic programming, genetic improvement, automated program repair, APR, hardware designs, HDL benchmark",
• timestamp = "Wed, 02 Mar 2022 18:22:59 +0100",
• biburl = "https://dblp.org/rec/conf/asplos/Ahmad0W22.bib",
• bibsource = "dblp computer science bibliography, https://dblp.org",
• URL = "https://doi.org/10.1145/3503222.3507763",
• DOI = "doi:10.1145/3503222.3507763",
• code_url = "https://github.com/hammad-a/verilog_repair",
• size = "14 pages",
• abstract = "CirFix, is a framework for automatically repairing defects in hardware designs implemented in languages like Verilog. We propose a novel fault localization approach based on assignments to wires and registers, and a fitness function tailored to the hardware domain to bridge the gap between software-level automated program repair and hardware descriptions. We also present a benchmark suite of 32 defect scenarios corresponding to a variety of hardware projects. Overall, CirFix produces plausible repairs for 21/32 and correct repairs for 16/32 of the defect scenarios. This repair rate is comparable to that of successful program repair approaches for software, indicating CirFix is effective at bringing over the benefits of automated program repair to the hardware domain for the first time.",

}

Genetic Programming entries for Hammad Ahmad Yu Huang Westley Weimer

Citations