skip to main content
10.1145/3587135.3591435acmconferencesArticle/Chapter ViewAbstractPublication PagescfConference Proceedingsconference-collections
extended-abstract

vRTLmod: An LLVM based Open-source Tool to Enable Fault Injection in Verilator RTL Simulations

Published:04 August 2023Publication History

ABSTRACT

With an ever increasing utilization of open-source hardware, the demand for improved productivity in its various development phases rises. This demand can only be met by open-source tools accompanying these open-hardware projects to cover their crucial tasks in design, test, and verification. One of these required tasks is fault injection analysis. At early stages of development, it can help to identify vulnerabilities of the hardware designs. In this work, we propose the open-source tool vRTLmod which enables low overhead and scaling fault injection simulations at Register Tranfer Level (RTL).

References

  1. Hyungmin Cho, Shahrzad Mirkhani, Chen-Yong Cher, Jacob A. Abraham, and Subhasish Mitra. 2013. Quantitative Evaluation of Soft Error Injection Techniques for Robust System Design. In Proceedings of the 50th Annual Design Automation Conference (DAC '13) Article 101. Association for Computing Machinery, Austin, Texas, 10 pages. doi: 10.1145/2463209.2488859.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Michael Gautschi, Pasquale Davide Schiavone, Andreas Traber, Igor Loi, Antonio Pullini, Davide Rossi, Eric Flamand, Frank K. Gürkaynak, and Luca Benini. 2017. Near-Threshold RISC-V Core with DSP Extensions for Scalable IoT Endpoint Devices. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 25, 10, 2700--2713. doi: 10.1109/TVLSI.2017.2654506.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Endri Kaja, Nicolas Ojeda Leon, Michael Werner, Bogdan Andrei-Tabacaru, Keerthikumara Devarajegowda, and Wolfgang Ecker. 2021. Extending Verilator to Enable Fault Simulation. In MBMV 2021; 24th Workshop, 1--6.Google ScholarGoogle Scholar
  4. C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. In International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86. doi: 10.1109/CGO.2004.1281665.Google ScholarGoogle ScholarCross RefCross Ref
  5. Daniel Mueller-Gritschneder, Martin Dittrich, Josef Weinzierl, Eric Cheng, Subhasish Mitra, and Ulf Schlichtmann. 2018. ETISS-ML: a multi-level instruction set simulator with RTL-level fault injection support for the evaluation of cross-layer resiliency techniques. In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 609--612. doi: 10.23919/DATE.2018.8342081.Google ScholarGoogle ScholarCross RefCross Ref
  6. OpenHW Group. 2023. CV32E40P - GitHub repository. Retrieved February 24, 2023 from https://github.com/openhwgroup/cv32e40p.Google ScholarGoogle Scholar
  7. OpenHW Group. 2023. CV32E40S - GitHub repository. Retrieved February 24, 2023 from https://github.com/openhwgroup/cv32e40s.Google ScholarGoogle Scholar
  8. OpenHW Group. 2023. CVA6 - GitHub repository. Retrieved February 24, 2023 from https://github.com/openhwgroup/cva6.Google ScholarGoogle Scholar
  9. Wilson Snyder. 2023. Verilator. Retrieved February 24, 2023 from https://www.veripool.org/verilator/.Google ScholarGoogle Scholar
  10. F. Zaruba and L. Benini. 2019. The Cost of Application-Class Processing: Energy and Performance Analysis of a Linux-Ready 1.7-GHz 64-Bit RISC-V Core in 22-nm FDSOI Technology. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 27, 11, (Nov. 2019), 2629--2640. doi: 10.1109/TVLSI.2019.2926114.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. vRTLmod: An LLVM based Open-source Tool to Enable Fault Injection in Verilator RTL Simulations

      Recommendations

      Comments

      Login options

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

      Sign in
      • Published in

        cover image ACM Conferences
        CF '23: Proceedings of the 20th ACM International Conference on Computing Frontiers
        May 2023
        419 pages
        ISBN:9798400701405
        DOI:10.1145/3587135

        Copyright © 2023 Owner/Author

        Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 4 August 2023

        Check for updates

        Qualifiers

        • extended-abstract
        • Research
        • Refereed limited

        Acceptance Rates

        CF '23 Paper Acceptance Rate24of66submissions,36%Overall Acceptance Rate240of680submissions,35%
      • Article Metrics

        • Downloads (Last 12 months)74
        • Downloads (Last 6 weeks)6

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader