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

Autor:	Truong, Lenny, Herbst, Steven, Setaluri, Rajsekhar, Mann, Makai, Daly, Ross, Zhang, Keyi, Donovick, Caleb, Stanley, Daniel, Horowitz, Mark, Barrett, Clark, Hanrahan, Pat
Rok vydání:	2020
Předmět:	Computer Science - Software Engineering Computer Science - Hardware Architecture
Druh dokumentu:	Working Paper
Popis:	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. Comment: CAV 2020: 32nd International Conference on Computer-Aided Verification
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2006.11669 Zobrazit plný text záznamu View this record from Arxiv