Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!

What's that, SystemVerilog Assertion?