DragonFly On-Line Manual Pages
VCD2LXT(1) Filetype Conversion VCD2LXT(1)
NAME
vcd2lxt - Converts VCD files to interlaced or linear LXT files
SYNTAX
vcd2lxt [VCDFILE] [LXTFILE] [option]...
DESCRIPTION
Converts VCD files to interlaced or linear LXT files. Noncompressed
interlaced files will provide the fastest access, linear files will
provide the slowest yet have the greatest compression ratios.
OPTIONS
-stats Prints out statistics on all nets in VCD file in addition to
performing the conversion.
-clockpack
Apply two-way subtraction algorithm in order to identify nets
whose value changes by a constant XOR or whose value
increases/decreases by a constant amount per constant unit of
time. This option can reduce dumpfile size dramatically as
value changes can be represented by an equation rather than
explicitly as a triple of time, net, and value.
-chgpack
Emit data to file after being filtered through zlib (gzip).
-linear
Write out LXT in "linear" format with no backpointers. These
are re-generated during initialization in gtkwave.
Additionally, use libbz2 (bzip2) as the compression filter.
-dictpack <size>
Store value changes greater than or equal to size bits as an
index into a dictionary. Experimentation shows that a value of
18 is optimal for most cases.
EXAMPLES
Note that you should specify dumpfile.vcd directly or use "-" for
stdin.
vcd2lxt dumpfile.vcd dumpfile.lxt -clockpack -chgpack -dictpack 18
This turns on clock packing, zlib compression, and enables the
dictionary encoding. Note that using no options writes out a
normal LXT file.
vcd2lxt dumpfile.vcd dumpfile.lxt -clockpack -linear -dictpack 18
Uses linear mode for even smaller files.
AUTHORS
Anthony Bybell <bybell@rocketmail.com>
SEE ALSO
lxt2vcd(1) vcd2lxt2(1) gtkwave(1)
Anthony Bybell 1.3.34 VCD2LXT(1)