Command Line Utilities¶

$CPPTESK_HOME/bin/version.sh¶

Displays the version and build numbers of the installed tools and prints the change log.

Options:¶

• none | --version | -v
  Display the version and build numbers of the installed tools (CTESK, C++TESK, etc.).
• --new
  Display what is new in the installed version of the toolkit comparing with the previous one.
• --log
  Print the overall change log of the toolkit (starting from the build 1.0.1 2011-04-15).
• --help | -h
  Show available options.

$CPPTESK_HOME/bin/update.sh¶

Updates the toolkit.

Options:¶

• none
  Update the toolkit if there are updates available.
• --check
  Check for available updates.
• --help | -h
  Show available options.

$CPPTESK_HOME/bin/install-veritool.sh¶

Installs Icarus Verilog and VeriTool.

Options:¶

• none
  Install Icarus Verilog and VeriTool if they are not installed.
• --force-install-veritool
  Install Icarus Verilog and VeriTool even if they are installed.

$CPPTESK_HOME/bin/report.sh¶

Processes UTT2 traces and generates the HTML test report.

Usage:¶

$CPPTESK_HOME/bin/report.sh [ <options> ] <trace-file> [ <trace-file> ]*

Options:¶

• --dest=<directory>
  Set the output directory for the report being generated. The default directory is Reports/Report_<time>.
• --non-trace-error
  Do not process aspect "error". This option is disabled by default.
• --non-trace-fsm
  Do not process aspect "fsm". This option is disabled by default.
• --version | -v
  Display the report generator version.
• --help | -h
  Show available options.

graphviz.sh¶

Constructs the image of the FSM state graph using the graphviz utilities.

Usage:¶

$CPPTESK_HOME/bin/graphviz.sh [ <options> ] <input-fsm-file> [ <output-image-file> ]

Options:¶

• --format=<image-format>
  Set the image format (png, jpg, gif, pdf, ps, etc.).
• --version | -v
  Show the graphviz version.
• --help | -h
  Show available options.