You could do the same thing with a Verilog VCD file, of course, but it wouldn’t be as much fun to read. You’d want to use a waveform viewer to really see what’s going on.