svapy v0.1

This project is a framework for Property-Based testing of hardware designs.

Property Based Testing

In simple words, property-based testing is a kind of testing in which the user sets a number of properties for the system, and the computer generates test cases by itself.

Unlike formal verification we don’t try all variants, which can take a lot of time, and we don’t shift the responsibility for creating tests to a human (he will either forget to check the extreme case , or he will think about the coverage points and implement them by hand, which we would like to avoid).