PV2 faultgenerates tests for a circuit

Application domain/field

Type of tool

Test generator framework

Expected input

The user should construct a Tester object with a magma circuit. The user should then record a sequence of test actions using the Tester's API class.


Python code

Expected output

Whether the tests pass or fail


fault is an embedded domain-specific language that allows the user to construct test generators. It has been designed to support magma, which is an embedded hardware construction language. It has several different backend targets including Verilog, SPICE, Verilog-AMS for simulation and CoSA for model checking.


Related papers

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

Last publication date

14 July 2020

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.