Dump a VCD waveform showing the internal signals of an SVTV.
To dump such a VCD file, use the form:
(svtv-debug$ svtv env :filename "foo.vcd") ;; default "svtv-debug.vcd"
See svtv-debug-defsvtv$ for a utility that dumps a VCD without requiring the SVTV to be defined already.