vzt2vcd1
Converts vzt files to vcd
Usage
vzt2vcd [option] ...
[VZTFILE]
Overview
Converts VZT files to VCD files. If an output filename is not specified, the VCD is emitted to stdout.
Options
-
-v,--vztname <filename> -
Specify VZT input filename.
-
-o,--output <filename> -
Specify optional VCD output filename.
-
-f,--flatearth -
Emit flattened hierarchies.
-
-c,--coalesce -
Coalesce bitblasted vectors.
-
-n,--notruncate -
Do not shorten bitvectors. This disables binary value compression as described in the IEEE-1364 specification. (i.e., all values except for '1' left propagate as a sign bit on vectors which do not fill up their entire declared width)
-
-h,--help -
Display help then exit.
Examples
To run this program the standard way type:
- vzt2vcd filename.vzt
-
The VCD conversion is emitted to stdout.
Limitations
vzt2vcd does not re-create glitches as these are coalesced together into one value change during the writing of the VZT file.
Releases
11 releases since Debian 4.0 (Etch); the text changed 4 times.
--coalesce since Debian 5.0 (Lenny);
--flatearth since Debian 5.0 (Lenny);
--help since Debian 5.0 (Lenny);
--notruncate since Debian 6.0 (Squeeze);
--output since Debian 8 (Jessie);
--vztname since Debian 5.0 (Lenny);
-c since Debian 5.0 (Lenny);
-f since Debian 5.0 (Lenny);
-h since Debian 5.0 (Lenny);
-n since Debian 6.0 (Squeeze);
-o since Debian 8 (Jessie);
-v since Debian 5.0 (Lenny).