100644 blob cc254049ab4c2973ccb592a49c4f453a76270c88	.gitignore
100644 blob 1b217f746e55c2eb9cabd209e35cb232f7a4120b	Makefile
100644 blob 30c37f5f1af5333894eb9468a1c729ab42529ac3	basic00.sv
100644 blob d5ad497dd0a78ce13a642b8f2a27d4f5cb4fc5db	basic01.sv
100644 blob b34f3aff3138b3a526bf494ca8edfad02387fd73	basic02.sv
100644 blob 8018de4ca9410ca890522ed1c8f6683b610e515e	basic03.sv
100644 blob bc46be9f689e3c1902beb1eb78413bde4379bdf1	basic04.sv
100644 blob f2ec305ecdbef76bd194e870f649346d8d8834a2	basic04.vhd
100644 blob 816ee1da700b4cbc926ae42822c0cc208286261a	basic05.sv
100644 blob 8d42f71e849b1b322952916480f3692b51388ea1	basic05.vhd
100644 blob 4f949115ef53d6f3c38114e359ab4a30fda30454	counter.sv
100644 blob 1b65ca9c968f4d91e3fd5eafbf979c408c0fe985	runtest.sh
100644 blob d81a48653aabeca34103f38693523364a0cac786	sva_not.sv
100644 blob d1569fc830619aee07cc65ab0d12315a9a383858	sva_range.sv
100644 blob 7e036a0669dd411ab4efbba2d5939884a3a0d0de	sva_throughout.sv