../

Cleanup and create own version of AssertionBench

Number of source files

$ find   verified_assertions/   -name '*.sv' -o  -name '*.v'  -type f | wc -l
261

Verified Assertions

  • The coverage of verified assertions seem very poor