tex2vcd(1)

tex2vcd1

Coverts texsim aet files to vcd

Usage

mvl2vcd <filename.aet>

Overview

Converts AET files to VCD on stdout. This is experimental as it is not a complete implementation and is not intended for general use.

Releases

4 releases since Debian 3.0 (Woody); the text changed 2 times.

  1. 3.0
  2. 3.1
  3. 4.0–5.0

Authors

Anthony Bybell <[email protected]>

From gtkwave 3.1.10-1 in Debian 5.0 (Lenny). Parsed by carta from the page's man source.