Using Verilog for Testbenches - ETH Z