GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  LXT2VCD (1)

NAME

lxt2vcd - Converts LXT2 files to VCD

CONTENTS

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 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)

Search for    or go to Top of page |  Section 1 |  Main Index


Anthony Bybell LXT2VCD (1) 3.3.39

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.