Project

General

Profile

Command Line Utilities » History » Revision 48

Revision 47 (Alexander Kamkin, 09/26/2011 10:31 AM) → Revision 48/49 (Alexander Kamkin, 09/26/2011 10:31 AM)

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":http://forge.ispras.ru/projects/ctesk, ("CTESK":http://forge.ispras.ru/projects/cptesk, "C++TESK":http://forge.ispras.ru/projects/cpptesk, 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 the toolkit. 

 h3. Usage: 

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

 h3. Options: 

 * _none_ *| --install* 
  Update the toolkit if there are updates available. 
 * *--check* 
  Check for available updates. 
 * *--reinstall* 
  Reinstall the toolkit with the latest available version. 
 * *--help | -h* 
  Show available options. 

 h2. install-veritool.sh 

 Installs "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/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 Icarus Verilog and VeriTool even if they are installed. 
 * *--only-veritool* 
  Install VeriTool only 
 * *--help | -h* 
  Show available options. 

 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>_. 
 * *--disable-aspect-error* 
  Do not process aspect "error". This option is disabled by default. 
 * *--disable-aspect-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.