100644 blob 972f4f9f12a887ebbddf95dd53279a65ba62a09c	Makefile.inc
100644 blob 89584f2e8554144f4f70215964858df22b30b132	README
100644 blob ffbf33cab3d2242e065c871e8f6bde71658bf81d	example.sby
100644 blob 21a5d42c85c1100c5013bfa02244defd62f74295	example.sv
100644 blob 843e7b9b4a32820b190aace2fc3a99040fd42de0	verific.cc
100644 blob 2ccfcd42cb2c742645f583c936f2a4d3a6f41047	verific.h
100644 blob 49c0c40acce7d0dd3f5018d121fc7763b8c8d12d	verificsva.cc