---
name: "tla2vcd"
section: "1"
platform: "linux"
package: "gtkwave"
version: "3.1.10-1"
release: "Debian 5.0 (Lenny)"
platforms: ["linux"]
url: "https://new.carta.tech/tla2vcd"
---

# tla2vcd(1)

Converts TLA to VCD or LST files

## NAME

tla2vcd - Converts TLA to VCD or LST files

## SYNTAX

tla2vcd \[*option*\]... *TLAFILE* \[\[*TLAFILE*\]...\]

## DESCRIPTION

Converts TLA files from Tektronix logic analyzers to VCD or LST files.  Conversion to VCD allows viewing in tools such as  [*gtkwave*(1)](/gtkwave/1.md).

## OPTIONS

- **-t**

  Generate text LST file instead of VCD file

- **-l**

  List the available channels/groups and exit

- **-s** \<*signal\_list*\>

  Select signals from regular expression list

- **-a**

  All channels

- **-m**

  Append MagniVu info (only in listing mode)

- **-z**

  Compress output

- **-v**

  Verbose

## AUTHORS

Emil

## SEE ALSO

[*lxt2vcd*(1)](/lxt2vcd/1.md) [*vzt2vcd*(1)](/vzt2vcd/1.md) [*gtkwave*(1)](/gtkwave/1.md)
