Writing a testbench in SystemVerilog