refdes_renum: warn of possible number clash with non-conforming values
[geda-gaf/whiteaudio.git] / docs / wiki / geda-gtkwave_vcd2lxt_mp.html
blob0f229dedfa969c8a16b7fe1d2fd67daa9e942a38
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
3 <html>
4 <head>
5 <title></title>
6 <link rel="stylesheet" media="screen" type="text/css" href="./style.css" />
7 <link rel="stylesheet" media="screen" type="text/css" href="./design.css" />
8 <link rel="stylesheet" media="print" type="text/css" href="./print.css" />
10 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
11 </head>
12 <body>
15 <h1 class="sectionedit277"><a name="converts_vcd_files_to_interlaced_or_linear_lxt_files_vcd2lxt" id="converts_vcd_files_to_interlaced_or_linear_lxt_files_vcd2lxt">Converts VCD files to interlaced or linear LXT files (vcd2lxt)</a></h1>
16 <div class="level1">
17 <pre class="code">VCD2LXT(1) Filetype Conversion VCD2LXT(1)
21 NAME
22 vcd2lxt - Converts VCD files to interlaced or linear LXT files
24 SYNTAX
25 vcd2lxt [VCDFILE] [LXTFILE] [option]...
27 DESCRIPTION
28 Converts VCD files to interlaced or linear LXT files. Noncompressed
29 interlaced files will provide the fastest access, linear files will
30 provide the slowest yet have the greatest compression ratios.
32 OPTIONS
33 -stats Prints out statistics on all nets in VCD file in addition to
34 performing the conversion.
36 -clockpack
37 Apply two-way subtraction algorithm in order to identify nets
38 whose value changes by a constant XOR or whose value
39 increases/decreases by a constant amount per constant unit of
40 time. This option can reduce dumpfile size dramatically as
41 value changes can be represented by an equation rather than
42 explicitly as a triple of time, net, and value.
44 -chgpack
45 Emit data to file after being filtered through zlib (gzip).
47 -linear
48 Write out LXT in &quot;linear&quot; format with no backpointers. These
49 are re-generated during initialization in gtkwave. Addition-
50 ally, use libbz2 (bzip2) as the compression filter.
52 -dictpack &lt;size&gt;
53 Store value changes greater than or equal to size bits as an
54 index into a dictionary. Experimentation shows that a value of
55 18 is optimal for most cases.
57 EXAMPLES
58 Note that you should specify dumpfile.vcd directly or use &quot;-&quot; for
59 stdin.
61 vcd2lxt dumpfile.vcd dumpfile.lxt -clockpack -chgpack -dictpack 18
62 This turns on clock packing, zlib compression, and enables the
63 dictionary encoding. Note that using no options writes out a
64 normal LXT file.
66 vcd2lxt dumpfile.vcd dumpfile.lxt -clockpack -linear -dictpack 18
67 Uses linear mode for even smaller files.
69 AUTHORS
70 Anthony Bybell &lt;bybell@nc.rr.com&gt;
72 SEE ALSO
73 lxt2vcd(1) vcd2lxt2(1) gtkwave(1)
77 Anthony Bybell 1.3.34 VCD2LXT(1)</pre>
79 </div>
80 </body>
81 </html>