tex2vcd – Coverts TEXSIM AET files to VCD
Syntax
mvl2vcd <
filename.aet>
Description
Converts AET files to VCD on stdout. This is experimental as it is not a complete implementation and is not intended for general use.
Authors
Anthony Bybell <bybell [at] nc.rr.com>
See Also
mvl2vcd(1)
mvl2lxt(1)
lxt2vcd(1)
vcd2lxt2(1)
vcd2lxt(1)
gtkwave(1)