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.

中文翻译：

---

错误：用于元编程便携式硬件验证组件的 Python 嵌入式领域特定语言

虽然硬件生成器极大地提高了设计效率，但它们也为验证任务带来了新的挑战。为了有效地涵盖复杂生成器的功能，验证工程师需要提供元编程灵活性的工具。然而，仅有灵活性是不够的；组件还必须是可移植的，以鼓励验证库的扩散并启用新的方法。本文介绍了故障，这是一种 Python 嵌入式硬件验证语言，旨在使设计团队能够充分发挥生成器的潜力。