100644 blob 972f4f9f12a887ebbddf95dd53279a65ba62a09c	Makefile.inc
100644 blob 89584f2e8554144f4f70215964858df22b30b132	README
100644 blob ffbf33cab3d2242e065c871e8f6bde71658bf81d	example.sby
100644 blob 21a5d42c85c1100c5013bfa02244defd62f74295	example.sv
100644 blob de41e1a5c084561365130943230c07fbf4ad4593	verific.cc
100644 blob 2ccfcd42cb2c742645f583c936f2a4d3a6f41047	verific.h
100644 blob 225fd3e4a20a4246616cda1ecd0246ef1ef0a1f0	verificsva.cc