vztminer(1) [debian man page]

VZTMINER(1)						       Dumpfile Data Mining						       VZTMINER(1)

NAME

       vztminer - Data mining of VZT files

SYNTAX

       vztminer [option]... [VZTFILE]

DESCRIPTION

       Mines VZT files for specific data values and generates gtkwave save files to stdout for future reload.

OPTIONS

       -d,--dumpfile <filename>
	      Specify VZT input dumpfile.

       -m,--match <value>
	      Specifies "bitwise" match data (binary, real, string)

       -x,--hex <value>
	      Specifies hexadecimal match data that will automatically be converted to binary for searches

       -n,--namesonly
	      Indicates  that  only  facnames  should  be printed in a gtkwave savefile compatible format.  By doing this, the file can be used to
	      specify which traces are to be imported into gtkwave.

       -c,--comprehensive
	      Indicates that results are not to stop after the first match.  This can be used to extract all the matching values in the trace.

       -h,--help
	      Show help screen.

EXAMPLES

       vztminer dumpfile.vzt --hex 20470000 -n

       This attempts to match the hex value 20470000 across all facilities and when the value is encountered, the facname only is printed to  std-
       out in order to generate a gtkwave compatible save file.

LIMITATIONS

       vztminer  only  prints  the  first time a value is encountered for a specific net.  This is done in order to cut down on the size of output
       files and to aid in following data such as addresses through a simulation model.  Note also that the reader algorithm  attempts	to  recon-
       struct  bitblasted  nets  back into their original vectors but this is not always successful, specifically in the case where the individual
       bitstrands are dumped in non-sequential order.

AUTHORS

       Anthony Bybell <bybell@rocketmail.com>

SEE ALSO

       lxt2miner(1) vzt2vcd(1) lxt2vcd(1) vcd2lxt2(1) gtkwave(1)

Anthony Bybell							       3.2.1							       VZTMINER(1)

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)