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

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components” by Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, and Pat Hanrahan. In Proceedings of the 32^nd International Conference on Computer Aided Verification (CAV '20), (Shuvendu K. Lahiri and Chao Wang, eds.), July 2020, pp. 403-414.

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.

BibTeX entry:

@inproceedings{THS+20,
   author = {Lenny Truong and Steven Herbst and Rajsekhar Setaluri and
	Makai Mann and Ross Daly and Keyi Zhang and Caleb Donovick and
	Daniel Stanley and Mark Horowitz and Clark Barrett and Pat
	Hanrahan},
   editor = {Shuvendu K. Lahiri and Chao Wang},
   title = {fault: A Python Embedded Domain-Specific Language for
	Metaprogramming Portable Hardware Verification Components},
   booktitle = {Proceedings of the {\it 32^{nd}} International Conference
	on Computer Aided Verification (CAV '20)},
   series = {Lecture Notes in Computer Science},
   volume = {12224},
   pages = {403--414},
   publisher = {Springer International Publishing},
   month = jul,
   year = {2020},
   isbn = {978-3-030-53288-8},
   url = {http://theory.stanford.edu/~barrett/pubs/THS+20.pdf}
}

(This webpage was created with bibtex2web.)