Project

General

Profile

Command Line Utilities » History » Revision 44

Revision 43 (Alexander Kamkin, 08/30/2011 05:04 PM) → Revision 44/49 (Alexander Kamkin, 08/30/2011 05:05 PM)

h1. Command Line Utilities 

 h2. version.sh 

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

 $CPPTESK_HOME/bin/version.sh [ _<options>_ ] 

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

 h2. update.sh 

 Checks for available updates and updates Updates the toolkit. 

 h3. Usage: 

 $CPPTESK_HOME/bin/update.sh [ _<options>_ ] 

 h3. Options: 

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

 h2. install-veritool.sh 

 Installs Icarus Verilog and VeriTool. 

 h3. Usage: 

 $CPPTESK_HOME/bin/install-veritool.sh [ _<options>_ ] 

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

 h2. report.sh 

 Processes UTT2 traces and generates the HTML test report. 

 h3. Usage: 

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

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

 h2. graphviz.sh 

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

 h3. Usage: 

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

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