Text this: Systemverilog for verification :