lxt2vcd(1) [debian man page]

LXT2VCD(1)							Filetype Conversion							LXT2VCD(1)

NAME

       lxt2vcd - Converts LXT2 files to VCD

SYNTAX

       lxt2vcd [option]... [LXT2FILE]

DESCRIPTION

       Converts  LXT2  files  to VCD files on stdout.  Note that "regular" LXT2 files will convert to VCD files with monotonically increasing time
       values.	LXT2 files which are dumped with the "partial" option (to speed up access in wave viewers) will dump with monotonically increasing
       time values per 2k block of nets.  This may be fixed in later versions of lxt2vcd.

OPTIONS

       -l,--lxtname <filename>
	      Specify LXT2 input filename.

       -f,--flatearth
	      Emit flattened hierarchies.

       -n,--notruncate
	      Do  not  shorten bitvectors.  This disables binary value compression as described in the IEEE-1364 specification.  (i.e., all values
	      except for '1' left propagate as a sign bit on vectors which do not fill up their entire declared width)

       -h,--help
	      Display help then exit.

EXAMPLES

       To run this program the standard way type:

       lxt2vcd filename.lxt
	      The VCD conversion is emitted to stdout.

LIMITATIONS

       lxt2vcd does not re-create glitches as these are coalesced together into one value change during the writing of the LXT2 file.

AUTHORS

       Anthony Bybell <bybell@rocketmail.com>

SEE ALSO

       vcd2lxt2(1) vcd2lxt(1) gtkwave(1)

Anthony Bybell							       3.2.2								LXT2VCD(1)

LXT2MINER(1)						       Dumpfile Data Mining						      LXT2MINER(1)

NAME

       lxt2miner - Data mining of LXT2 files

SYNTAX

       lxt2miner [option]... [LXT2FILE]

DESCRIPTION

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

OPTIONS

       -d,--dumpfile <filename>
	      Specify LXT2 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

       lxt2miner dumpfile.lxt2 --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

       lxt2miner  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.

AUTHORS

       Anthony Bybell <bybell@rocketmail.com>

SEE ALSO

       vztminer(1) vzt2vcd(1) lxt2vcd(1) vcd2lxt2(1) gtkwave(1)

Anthony Bybell							       3.2.1							      LXT2MINER(1)