VF Horizons:PAPER: SVA Alternative for Complex Assertions

In reply to ben@SystemVerilog.us:

Put the code for ‘cool_sva_utils’ on GitHub (under some meaningful name) and we’re one step in the direction of an SV(A) standard lib. Not sure if it’s not already covered by OVL already (never used it).