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

Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan

Browse the full CAV paper archive.