tex2vcd (1) Linux Manual Page
NAME
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)