100644 blob 972f4f9f12a887ebbddf95dd53279a65ba62a09c	Makefile.inc
100644 blob b4c436a3ae1d4b33983c6cdaa5066b20031a6b38	README
100644 blob ffbf33cab3d2242e065c871e8f6bde71658bf81d	example.sby
100644 blob 21a5d42c85c1100c5013bfa02244defd62f74295	example.sv
100644 blob 94138cdd67f77dafdc0fd0547d554198b525d8b7	verific.cc
100644 blob b331dd4b94db5f235e05383cc8b1b2ad41b8545c	verific.h
100644 blob 6681115dfa57cc8dc423e6b7c2efa0001883de99	verificsva.cc