Produce simulated waveforms using ASCII text. The process uses some custom tools written in OCaml, but the code is available ... You could do the same thing with a Verilog VCD file, of course ...