Text this: The power of assertions in system verilog