Text this: Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions