research-article

Public Access

CirFix: automatically repairing defects in hardware design code

Authors:

Westley WeimerAuthors Info & Claims

ASPLOS '22: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Pages 990 - 1003

https://doi.org/10.1145/3503222.3507763

Published: 22 February 2022 Publication History

Abstract

This paper presents CirFix, 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.

References

[1]

Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan JC Van Gemund. 2009. A practical evaluation of spectrum-based fault localization. Journal of Systems and Software, 82, 11 (2009), 1780–1792.

Digital Library

[2]

Thomas Ackling, Bradley Alexander, and Ian Grunert. 2011. Evolving patches for software repair. In Proceedings of the 13th annual conference on Genetic and evolutionary computation. 1427–1434.

Digital Library

[3]

Sheeva Afshan, Phil McMinn, and Mark Stevenson. 2013. Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation. 352–361. https://doi.org/10.1109/ICST.2013.11

Digital Library

[4]

KK Aggarwal, Yogesh Singh, Arvinder Kaur, and OP Sangwan. 2004. A neural net based approach to test oracle. ACM SIGSOFT Software Engineering Notes, 29, 3 (2004), 1–6.

Digital Library

[5]

Hiralal Agrawal, Joseph R Horgan, Saul London, and W Eric Wong. 1995. Fault localization using execution slices and dataflow tests. In Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE’95. 143–151.

[6]

Nada Alsolami, Qasem Obeidat, and Mamdouh Alenezi. 2019. Empirical analysis of object-oriented software test suite evolution. International Journal of Advanced Computer Science and Applications, 10, 11 (2019).

[7]

Andrea Arcuri and Gordon Fraser. 2011. On parameter tuning in search based software engineering. In International Symposium on Search Based Software Engineering. 33–47.

[8]

Desire Athow. 2014. Pentium fdiv: The processor bug that shook the world. https://www.techradar.com/news/computing-components/processors/pentium-fdiv-the-processor-bug-that-shook-the-world-1270773

[9]

Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2015. The Oracle Problem in Software Testing: A Survey. IEEE Transactions on Software Engineering, 41, 5 (2015), 507–525. https://doi.org/10.1109/TSE.2014.2372785

Digital Library

[10]

Lionel Bening and Harry Foster. 2001. RTL Formal Verification. Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog, 103–129.

[11]

Robert Binder. 2000. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Professional.

Digital Library

[12]

Roderick Bloem and Franz Wotawa. 2002. Verification and fault localization for VHDL programs. Journal of the Telematics Engineering Society (TIV), 2 (2002), 30–33.

[13]

Kai-hui Chang, Ilya Wagner, Valeria Bertacco, and Igor L Markov. 2007. Automatic error diagnosis and correction for RTL designs. In 2007 IEEE International High Level Design Validation and Test Workshop. 65–72.

[14]

Stephen Checkoway, Lucas Davi, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Hovav Shacham, and Marcel Winandy. 2010. Return-oriented programming without returns. In Proceedings of the 17th ACM conference on Computer and communications security. 559–572.

Digital Library

[15]

Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, and Hong Mei. 2016. Supporting oracle construction via static analysis. In 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE). 178–189.

Digital Library

[16]

Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun Kanuparthi, Hareesh Khattri, Jason M Fung, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran. 2019. Hardfails: Insights into software-exploitable hardware bugs. In USENIX Security Symposium. 213–230.

[17]

Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel. 2005. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering, 10, 4 (2005), 405–435.

Digital Library

[18]

Robert Feldt. 1998. Generating diverse software versions with genetic programming: an experimental study. IEE Proceedings-Software, 145, 6 (1998), 228–236.

[19]

Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, and Claire Le Goues. 2009. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation. 947–954.

Digital Library

[20]

Harry Foster. 2008. Assertion-based verification: Industry myths to realities (invited tutorial). In International Conference on Computer Aided Verification. 5–10.

Digital Library

[21]

Luca Gazzola, Daniela Micucci, and Leonardo Mariani. 2017. Automatic software repair: A survey. IEEE Transactions on Software Engineering, 45, 1 (2017), 34–67.

Digital Library

[22]

Farshad Gholami, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl, Meysam Valueian, and Saina Mohamadyari. 2018. A classifier-based test oracle for embedded software. In 2018 Real-Time and Embedded Systems and Technologies (RTEST). 104–111. https://doi.org/10.1109/RTEST.2018.8397165

[23]

Mohamed Hanafy, Hazem Said, and Ayman M. Wahba. 2015. New methodology for digital design properties extraction from simulation traces. In 2015 Tenth International Conference on Computer Engineering Systems (ICCES). 91–98. https://doi.org/10.1109/ICCES.2015.7393026

[24]

Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, and Shin Yoo. 2010. Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. In 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. 182–191. https://doi.org/10.1109/ICSTW.2010.31

Digital Library

[25]

Samuel Hertz, David Sheridan, and Shobha Vasudevan. 2013. Mining Hardware Assertions With Guidance From Static Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32, 6 (2013), 952–965. https://doi.org/10.1109/TCAD.2013.2241176

Digital Library

[26]

Yu Huang, Hammad Ahmad, Stephanie Forrest, and Westley Weimer. 2021. Applying Automated Program Repair to Dataflow Programming Languages. In GI @ ICSE 2021, Justyna Petke, Bobby R. Bruce, Yu Huang, Aymeric Blot, Westley Weimer, and W. B. Langdon (Eds.). IEEE, internet.

[27]

IEEE. 2006. IEEE Standard for Verilog Hardware Description Language. IEEE Std 1364-2005 (Revision of IEEE Std 1364-2001), 1–590. https://doi.org/10.1109/IEEESTD.2006.99495

[28]

Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella. 2016. Test oracle assessment and improvement. In Proceedings of the 25th International Symposium on Software Testing and Analysis. 247–258.

Digital Library

[29]

Tai-Ying Jiang, C-NJ Liu, and Jing Ya Jou. 2005. Estimating likelihood of correctness for error candidates to assist debugging faulty HDL designs. In 2005 IEEE International Symposium on Circuits and Systems. 5682–5685.

[30]

James A Jones and Mary Jean Harrold. 2005. Empirical evaluation of the tarantula automatic fault-localization technique. In Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. 273–282.

Digital Library

[31]

James A Jones, Mary Jean Harrold, and John Stasko. 2002. Visualization of test information to assist fault localization. In Proceedings of the 24th International Conference on Software Engineering. ICSE 2002. 467–477.

[32]

Terry Jones and Stephanie Forrest. 1995. Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms. In ICGA. 95, 184–192.

[33]

René Just, Darioush Jalali, and Michael D Ernst. 2014. Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the 2014 International Symposium on Software Testing and Analysis. 437–440.

Digital Library

[34]

Robert Keim. 2020. What is a Hardware Description Language (HDL)? Retrieved Jan 11, 2021 from https://www.allaboutcircuits.com/technical-articles/what-is-a-hardware-description-language-hdl/

[35]

Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In 2013 35th International Conference on Software Engineering (ICSE). 802–811.

[36]

John R Koza. 1992. Genetic programming: on the programming of computers by means of natural selection. 1, MIT press.

[37]

Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, and Corina Pasareanu. 2019. On Reliability of Patch Correctness Assessment. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 524–535. https://doi.org/10.1109/ICSE.2019.00064

Digital Library

[38]

Xuan Bach D Le, Ferdian Thung, David Lo, and Claire Le Goues. 2018. Overfitting in semantics-based automated program repair. Empirical Software Engineering, 23, 5 (2018), 3007–3033.

Digital Library

[39]

Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. 2012. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In 2012 34th International Conference on Software Engineering (ICSE). 3–13.

[40]

Claire Le Goues, Stephanie Forrest, and Westley Weimer. 2013. Current challenges in automatic software repair. Software quality journal, 21, 3 (2013), 421–443.

[41]

C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. 2012. GenProg: A Generic Method for Automatic Software Repair. IEEE Transactions on Software Engineering, 38, 1 (2012), 54–72.

Digital Library

[42]

Claire Le Goues, Westley Weimer, and Stephanie Forrest. 2012. Representations and operators for improving evolutionary software repair. In Proceedings of the 14th annual conference on Genetic and evolutionary computation. 959–966.

Digital Library

[43]

Robert Lemos. 1997. Intel releases fix FOR F00F bug. https://www.zdnet.com/article/intel-releases-fix-for-f00f-bug/

[44]

Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F Bissyandé. 2019. TBar: revisiting template-based automated program repair. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 31–42.

Digital Library

[45]

Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F. Bissyandé. 2019. AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations. In Proceedings of the 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering. 456–467.

[46]

Yuzhen Liu, Long Zhang, and Zhenyu Zhang. 2018. A Survey of Test Based Automatic Program Repair. JSW, 13, 8 (2018), 437–452.

[47]

Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 298–312.

Digital Library

[48]

Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang. 2020. Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020). Association for Computing Machinery, New York, NY, USA. 75–87. isbn:9781450380089 https://doi.org/10.1145/3395363.3397351

Digital Library

[49]

J. C. Madre, O. Coudert, and J. P. Billon. 1989. Automating the diagnosis and the rectification of design errors with PRIAM. In 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers. 30–33. https://doi.org/10.1109/ICCAD.1989.76898

[50]

M Morris Mano and Michael Ciletti. 2013. Digital design: with an introduction to the Verilog HDL. Pearson.

[51]

L. I. Manolache and Derrick G. Kourie. 2001. Software testing using model programs. Software: Practice and Experience, 31, 13 (2001), 1211–1236.

Digital Library

[52]

Matias Martinez and Martin Monperrus. 2016. ASTOR: A Program Repair Library for Java. In Proceedings of ISSTA. https://doi.org/10.1145/2931037.2948705

Digital Library

[53]

Phil McMinn. 2009. Search-based failure discovery using testability transformations to generate pseudo-oracles. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation. 1689–1696.

Digital Library

[54]

Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2015. Directfix: Looking for simple program repairs. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 1, 448–458.

[55]

Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016. Angelix: Scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the 38th international conference on software engineering. 691–701.

Digital Library

[56]

Brad L Miller and David E Goldberg. 1996. Genetic algorithms, selection schemes, and the varying effects of noise. Evolutionary computation, 4, 2 (1996), 113–131.

[57]

Brad L Miller and David E Goldberg. 1995. Genetic algorithms, tournament selection, and the effects of noise. Complex systems, 9, 3 (1995), 193–212.

[58]

Martin Monperrus. 2018. The Living Review on Automated Program Repair. HAL/archives-ouvertes.fr.

[59]

Manish Motwani. 2021. High-Quality Automated Program Repair. arxiv:2104.07851.

[60]

Lee Naish, Hua Jie Lee, and Kotagiri Ramamohanarao. 2011. A model for spectra-based software diagnosis. ACM Transactions on software engineering and methodology (TOSEM), 20, 3 (2011), 1–32.

[61]

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. Semfix: Program repair via semantic analysis. In 2013 35th International Conference on Software Engineering (ICSE). 772–781.

[62]

Riccardo Poli and William B Langdon. 1998. Genetic programming with one-point crossover. In Soft Computing in Engineering Design and Manufacturing. Springer, 180–189.

[63]

Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. 2014. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering. 254–265.

Digital Library

[64]

Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. 2015. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis. 24–36.

Digital Library

[65]

Jiann-Chyi Ran, Yi-Yuan Chang, and Chia-Hung Lin. 2003. An efficient mechanism for debugging RTL description. In The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings. 370–373.

[66]

Simone Romano, Christopher Vendome, Giuseppe Scanniello, and Denys Poshyvanyk. 2018. A multi-study investigation into dead code. IEEE Transactions on Software Engineering.

[67]

Seemanta Saha. 2019. Harnessing evolution for multi-hunk program repair. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 13–24.

Digital Library

[68]

Frank Schirrmeister, Michael McNamara, Larry Melling, and Neeti Bhatnagar. 2012. Debugging at the hardware/software interface. https://www.embedded-computing.com/embedded-computing-design/debugging-at-the-hardware-software-interface

[69]

Eric Schulte, Zachary P Fry, Ethan Fast, Westley Weimer, and Stephanie Forrest. 2014. Software mutational robustness. Genetic Programming and Evolvable Machines, 15, 3 (2014), 281–312.

Digital Library

[70]

Charles L Seitz, C Mead, and L Conway. 1980. System timing. Introduction to VLSI systems, 218–262.

[71]

Seyed Reza Shahamiri, Wan Mohd Nasir Wan Kadir, Suhaimi Ibrahim, and Siti Zaiton Mohd Hashim. 2011. An automated framework for software test oracle. Information and Software Technology, 53, 7 (2011), 774–788. issn:0950-5849 https://doi.org/10.1016/j.infsof.2011.02.006

Digital Library

[72]

Seyed Reza Shahamiri, Wan Mohd Nasir Wan Kadir, and Siti Zaiton Mohd-Hashim. 2009. A Comparative Study on Automated Software Test Oracle Methods. In 2009 Fourth International Conference on Software Engineering Advances. 140–145. https://doi.org/10.1109/ICSEA.2009.29

Digital Library

[73]

Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. 2015. Is the cure worse than the disease? overfitting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. 532–543.

Digital Library

[74]

Stefan Staber, Barbara Jobstmann, and Roderick Bloem. 2005. Finding and fixing faults. In Advanced Research Working Conference on Correct Hardware Design and Verification Methods. 35–49.

Digital Library

[75]

Sangeetha Sudakrishnan, Janaki Madhavan, E James Whitehead Jr, and Jose Renau. 2008. Understanding bug fix patterns in verilog. In Proceedings of the 2008 international working conference on Mining software repositories. 39–42.

Digital Library

[76]

Stuart Sutherland. 2017. RTL Modeling with SystemVerilog for Simulation and Synthesis Using SystemVerilog for ASIC and FPGA Design. Sutherland HDL, Incorporated.

[77]

Synopsys. 2020. VCS Functional Verification Solution. https://www.synopsys.com/verification/simulation/vcs.html

[78]

VCS Synopsys. 2004. Verilog Simulator. Avaliable HTTP: http://www. synopsys. com/products/simulation/simulation. html.

[79]

Shinya Takamaeda-Yamazaki. 2015. Pyverilog: A python-based hardware design processing toolkit for verilog hdl. In International Symposium on Applied Reconfigurable Computing. 451–460.

[80]

Vaibbhav Taraate. 2016. Digital logic design using verilog: coding and RTL synthesis. Springer.

[81]

Christopher S Timperley. 2017. Advanced techniques for search-based program repair. Ph. D. Dissertation. University of York.

[82]

JA Vasconcelos, Jaime Arturo Ramirez, RHC Takahashi, and RR Saldanha. 2001. Improvements in genetic algorithms. IEEE Transactions on magnetics, 37, 5 (2001), 3414–3417.

[83]

Jayce Wagner. 2018. Intel Could Make Billions Off of Meltdown & Spectre. https://www.digitaltrends.com/computing/intel-could-make-billions-off-meltdown-spectre/

[84]

Westley Weimer. 2006. Patches as Better Bug Reports. In Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE ’06). Association for Computing Machinery, New York, NY, USA. 181–190. isbn:1595932372 https://doi.org/10.1145/1173706.1173734

Digital Library

[85]

Westley Weimer, Stephanie Forrest, Claire Le Goues, and ThanhVu Nguyen. 2010. Automatic program repair with evolutionary computation. Commun. ACM, 53, 5 (2010), 109–116.

Digital Library

[86]

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009. Automatically finding patches using genetic programming. In 2009 IEEE 31st International Conference on Software Engineering. 364–374.

Digital Library

[87]

Andreas Zeller. 2001. Automated debugging: Are we close. Computer, 26–31.

Cited By

Wu JZhang ZYang DXu JHe JMao X(2024)Time-Aware Spectrum-Based Bug Localization for Hardware Design Code with Data PurificationACM Transactions on Architecture and Code Optimization10.1145/367800921:3(1-25)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3678009
Wu NLi YYang HChen HDai SHao CYu CXie Y(2024)Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and ProspectACM Transactions on Design Automation of Electronic Systems10.1145/366130829:4(1-42)Online publication date: 21-Jun-2024
https://dl.acm.org/doi/10.1145/3661308
Wu JZhang ZYang DXu JHe JMao X(2024)Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design CodeACM Transactions on Architecture and Code Optimization10.1145/366052621:3(1-26)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3660526
Show More Cited By

Index Terms

CirFix: automatically repairing defects in hardware design code
1. Hardware
  1. Electronic design automation
    1. High-level and register-transfer level synthesis
  2. Hardware validation
    1. Post-manufacture validation and debug
      1. Bug fixing (hardware)
2. Software and its engineering
  1. Software creation and management
    1. Search-based software engineering

Recommendations

Translation-based co-verification
MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

We propose a translation-based approach to hardware and software co-verification of embedded systems using model checking. Software and hardware designs of an embedded system are translated into the input formal language of a state-of-the-art model ...
CirFix: Automated Hardware Repair and its Real-World Applications
This article presents CirFix, 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 ...
Hardware-software co-design of AES on FPGA
ICACCI '12: Proceedings of the International Conference on Advances in Computing, Communications and Informatics

This paper presents a compact hardware-software co-design of Advanced Encryption Standard (AES) on the field programmable gate arrays (FPGA) designed for low-cost embedded systems. The design uses MicroBlaze, a soft-core processor from Xilinx. The ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASPLOS '22: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

February 2022

1164 pages

ISBN:9781450392051

DOI:10.1145/3503222

General Chairs:
Babak Falsafi
EPFL, Switzerland
,
Michael Ferdman
Stony Brook University, USA
,
Program Chairs:
Shan Lu
University of Chicago, USA
,
Tom Wenisch
University of Michigan, USA / Google, USA

Copyright © 2022 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 February 2022

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Badges

Author Tags

Qualifiers

Research-article

Funding Sources

National Science Foundation

Conference

ASPLOS '22

Sponsor:

ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

February 28 - March 4, 2022

Lausanne, Switzerland

Acceptance Rates

Overall Acceptance Rate 535 of 2,713 submissions, 20%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
922
Total Downloads

Downloads (Last 12 months)387
Downloads (Last 6 weeks)51

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wu JZhang ZYang DXu JHe JMao X(2024)Time-Aware Spectrum-Based Bug Localization for Hardware Design Code with Data PurificationACM Transactions on Architecture and Code Optimization10.1145/367800921:3(1-25)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3678009
Wu NLi YYang HChen HDai SHao CYu CXie Y(2024)Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and ProspectACM Transactions on Design Automation of Electronic Systems10.1145/366130829:4(1-42)Online publication date: 21-Jun-2024
https://dl.acm.org/doi/10.1145/3661308
Wu JZhang ZYang DXu JHe JMao X(2024)Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design CodeACM Transactions on Architecture and Code Optimization10.1145/366052621:3(1-26)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3660526
Laeufer KFajardo BAhuja AIyer VNikolić BSen KTsafrir DMusuvathi MGupta RAbu-Ghazaleh N(2024)RTL-Repair: Fast Symbolic Repair of Hardware Design CodeProceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 310.1145/3620666.3651346(867-881)Online publication date: 27-Apr-2024
https://dl.acm.org/doi/10.1145/3620666.3651346
Ahmad BThakur STan BKarri RPearce H(2024)On Hardware Security Bug Code Fixes by Prompting Large Language ModelsIEEE Transactions on Information Forensics and Security10.1109/TIFS.2024.337455819(4043-4057)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1109/TIFS.2024.3374558
Yang DHe JMao XLi TLei YYi XWu J(2024)Strider: Signal Value Transition-Guided Defect Repair for HDL Programming AssignmentsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.334175043:5(1594-1607)Online publication date: May-2024
https://doi.org/10.1109/TCAD.2023.3341750
Zeraatkar AKamran PAl-Asaad H(2024)Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design2024 IEEE 14th Annual Computing and Communication Workshop and Conference (CCWC)10.1109/CCWC60891.2024.10427806(0357-0364)Online publication date: 8-Jan-2024
https://doi.org/10.1109/CCWC60891.2024.10427806
Xu JHe JZhang JYang DWu JMao XChinnery DHui-Ru Jiang I(2023)Validating the Redundancy Assumption for HDL from Code Clone's PerspectiveProceedings of the 2023 International Symposium on Physical Design10.1145/3569052.3571872(247-255)Online publication date: 26-Mar-2023
https://dl.acm.org/doi/10.1145/3569052.3571872
Santiesteban PHuang YWeimer WAhmad H(2023)CirFix: Automated Hardware Repair and its Real-World ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2023.326989949:7(3736-3752)Online publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3269899
Wu JLei YZhang ZMeng XYang DLi PHe JMao X(2023)Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs2023 60th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC56929.2023.10247962(1-6)Online publication date: 9-Jul-2023
https://doi.org/10.1109/DAC56929.2023.10247962
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents