fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components

2020/06/20 by Truong, Lenny, Herbst, Steven, Setaluri, Rajsekhar +8
#FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Software Engineering (cs.SE)

paper · doi:10.48550/arxiv.2006.11669

Abstract

While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of a sophisticated generator, verification engineers require tools that provide the flexibility of metaprogramming. However, flexibility alone is not enough; components must also be portable in order to encourage the proliferation of verification libraries as well as enable new methodologies. This paper introduces fault, a Python embedded hardware verification language that aims to empower design teams to realize the full potential of generators.

Related

• Effective Design Verification -- Constrained Random with Python and Cocotb
• FauxPy: A Fault Localization Tool for Python
• Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?
• The Design and Algorithms of a Verification Condition Generator
• PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C