However, it also allows you to write constructs that would ... and create an instance of the module we want to test: The variables need to be initialized. Verilog provides an initial block ...