The output, however, is an ASCII text waveform and common software development tools can check that waveform against the expected output. You could do the same thing with a Verilog VCD file ...