vcd2lxt2 - Converts VCD files to LXT2 files
vcd2lxt2 [option]... [VCDFILE] [LXTFILE]
Converts VCD files to LXT2 files.
- -v,--vcdname
<filename>
- Specify VCD input filename.
- -l,--lxtname
<filename>
- Specify LXT2 output filename.
- -d,--depth
<value>
- Specify 0..9 gzip compression depth, default is 4.
- -m,--maxgranule
<value>
- Specify number of granules per section, default is 8. One granule is equal
to 32 timsteps.
- -b,--break
<value>
- Specify break size (default = 0 = off). When the break size is exceeded,
the LXT2 dumper will dump all state information at the next convenient
granule plus dictionary boundary.
- -p,--partialmode
<mode>
- Specify partial zip mode 0 = monolithic, 1 = separation. Using a value of
1 expands LXT2 filesize but provides fast access for very large traces.
Note that the default mode is neither monolithic nor separation: partial
zip is disabled.
- -c,--checkpoint
<mode>
- Specify checkpoint mode. 0 is on which is default, and 1 is off. This is
disabled when the break size is active.
- -h,--help
- Show help screen.
vcd2lxt2 does not store glitches as these are coalesced
together into one value change during the writing of the LXT2 file.
Anthony Bybell <bybell@rocketmail.com>