C++TESK Testing ToolKit

Installation Guide » History » Revision 45

Revision 44 (Alexander Kamkin, 09/26/2011 05:20 PM) → Revision 45/74 (Alexander Kamkin, 09/26/2011 05:20 PM)

h1. Installation Guide 

 h2. Introduction 

 This document describes the steps should be followed to install "С++TESK Testing ToolKit":http://forge.ispras.ru/projects/cpptesk-toolkit (hereinafter C++TESK). In addition to C++TESK, "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/veritool (hereinafter Verilog tools) are recommended to be installed (they are used for generating C/C++ API for Verilog modules). 

 Before installing the toolkit make sure that [[System Requirements]] are met. 

 h2. Installation 

 h3. Basic Installation (Recommended) 

 To install C++TESK, pass the following steps: 

 # Download the latest version of the C++TESK package (@cpptesk-toolkit-src-*.tar.gz@) from the "Files":http://forge.ispras.ru/projects/cpptesk-toolkit/files page. 
 # Unzip the downloaded archive: 
 <pre> 
 % tar xf cpptesk-toolkit-src-*.tar.gz 
 </pre> 
 # Run the @install.sh@ script as follows. 

 * To install C++TESK without installing the Verilog tools, run: 
 <pre> 
 % install.sh 
 </pre> 
 * To install C++TESK together with the Verilog tools not reinstalling the Verilog tools if they have been already installed, run: 
 <pre> 
 % install.sh --install-veritool 
 </pre> 
 * To install C++TESK and (re)install the Verilog tools, run: 
 <pre> 
 % install.sh --force-install-veritool 
 </pre> 

 Home directories for the tools are chosen according to the following rules: 

 # If the environment variable @$ISPRAS_HOME@ is not set, it will be assigned to the user’s home directory (usually, @/home/<user>@). 
 # If the environment variable @$CPPTESK_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/cpptesk-toolkit@. 
 # If the environment variable @$ICARUS_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/verilog@. 
 # It the environment variable @$VERITOOL_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/veritool@. 

 C++TESK is installed into the directory @$CPPTESK_HOME@. 

 Icarus Verilog (if it is required) is installed into the directory @$ICARUS_HOME@. 

 VeriTool (if it is required) is installed into the directory @$VERITOOL_HOME@. 

 h3. Manual Installation of the Verilog Tools 

 The Verilog tools can be installed manually. 

 To install Icarus Verilog, pass the following steps: 

 # Download the Icarus Verilog package from "here":http://sourceforge.net/projects/iverilog/files/iverilog. 
 # If the environment variable @$ICARUS_HOME@ is not set, it should be assigned: 
 <pre> 
 % export ICARUS_HOME=<path_to_icarus_verilog_installation_directory> ICARUS_HOME=<path_to_icarus_verilog_directory> 
 % echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile" 
 % echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc" 
 </pre> 
 # Create the @$ICARUS_HOME@ directory if it does not exist: 
 <pre> 
 mkdir -p "$ICARUS_HOME" 
 </pre> 
 # Unzip the downloaded archive and make it: 
 <pre> 
 tar xf verilog-0.9.4.tar.gz 
 cd verilog-0.9.4 
 ./configure --prefix="$ICARUS_HOME" 
 make && make install 
 </pre> 

 To install VeriTool, pass the following steps: 

 # http://forge.ispras.ru/projects/veritool/files. 
 # If the system variable $VERITOOL_HOME is not set, it should be assigned. E.g., the following command sequence can help: 
 <pre> 
 export VERITOOL_HOME=< _path_for_VeriTool_installation_ > 
 echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.profile" 
 echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.bashrc" 
 </pre> 
 # It the folder $VERITOOL_HOME does not exist, it should be created: 
 <pre> 
 mkdir -p "$VERITOOL_HOME" 
 </pre> 
 # Having changed the directory to the one with installation package of VeriTool, it is necessary to apply the following command sequence: 
 <pre> 
 tar xf veritool-0.2.1-beta-20110702.tar.gz 
 cd veritool-0.2.1-beta-20110702 
 ./configure --prefix="$VERITOOL_HOME" 
 make all && make install 
 </pre>