Text this: Hardware verification with SystemVerilog :