Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
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.  If an output filename is not
     specified, the VCD is emitted to 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.

     -o,--output <filename>
	    Specify optional VCD output 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 ex-
	    cept 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.3.39			      LXT2VCD(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=lxt2vcd&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help