Query: vcd2lxt
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
VCD2LXT(1) Filetype Conversion VCD2LXT(1)NAMEvcd2lxt - Converts VCD files to interlaced or linear LXT filesSYNTAXvcd2lxt [VCDFILE] [LXTFILE] [option]...DESCRIPTIONConverts 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.EXAMPLESNote 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.AUTHORSAnthony Bybell <bybell@rocketmail.com>SEE ALSOlxt2vcd(1) vcd2lxt2(1) gtkwave(1) Anthony Bybell 1.3.34 VCD2LXT(1)