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.

Format:

Python code

Expected output

Whether the tests pass or fail

Internals

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.
Hardware

Links

Last commit date

16 April 2021

Related papers

https://doi.org/10.1007/978-3-030-53288-8_19

Last publication date

14 July 2020

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.