论文标题
故障：用于元编程的便携式硬件验证组件的Python嵌入式域特定域语言
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
论文作者
论文摘要
尽管硬件生成器已大大提高了设计生产力，但他们为验证任务引入了新的挑战。为了有效涵盖复杂发电机的功能，验证工程师需要提供元编程灵活性的工具。但是，仅灵活性是不够的。为了鼓励验证库的扩散以及启用新方法，组件也必须是便携式的。本文引入了故障，这是一种嵌入式硬件验证语言，旨在增强设计团队的能力，以实现发电机的全部潜力。
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.
