Cary R.

A few fails while parsing ivtest in the sv-tests environment

5

I noticed sv-parser does an excellent job of parsing most of the code in the sv-tests test bench (https://github.com/SymbiFlow/sv-tests). While working to get ivtest clean I noticed there are a...

@ * is valid and should not be excluded in ivtest

14

I have looked in the standard and I find no place that excludes @ * (note the space between the two) from being valid. Sure it uses @* (no space)...

Non-standard, but defacto standard tests

2

While looking at more of the blacklisted ivtest tests I am finding that some of these indeed do not match the standard, but are allowed in Icarus because this functionality...

union versus intersection testing and the testing strategy in general

2

Since the discussion in #1213 I have been thinking about the overall testing strategy sv-tests uses and here are some thoughts regarding improvements I think would help the framework in...