Project

General

Profile

Installation Guide » History » Version 3

Alexander Kamkin, 09/26/2011 04:13 PM

1 1 Alexander Kamkin
h1. Installation Guide
2
3
h2. Introduction
4
5 3 Alexander Kamkin
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 are recommended to be installed ().
6
7
*  The second one is  based on Icarus Verilog and used for generation of auxiliaries components of test systems. Before installing the toolkit make sure that [[System Requirements]] are satisfied.
8 1 Alexander Kamkin
9
h2. Installation
10
11
To have C++TESK installed you should pass the following steps:
12
13
1.Download the latest version of C++TESK from page http://forge.ispras.ru/projects/cpptesk-toolkit/files. It’ll be an archive named cpptesk-toolkit-src-*.tar.gz.
14
2.Unzip the file (tar xf cpptesk-toolkit-src-*.tar.gz) and start executable script named install.sh, using the following parameters:
15 2 Alexander Kamkin
a.no parameters — install C++TESK only;
16
b.--install-veritool — install4 C++TESK (version 1.0), simulator Icarus Verilog, and VeriTool, if they haven’t been installed;
17
c.--force-install-veritool — installs С++TESK, simulator Icarus Verilog, and VeriTool (Icarus Verilog and VeriTool will be installed even if they have been installed already).
18 1 Alexander Kamkin
19
The installation catalogues for all the tools will be chosen according to the following rules:
20
21
1.If the environment variable ISPRAS_HOME is not defined, it will be assigned to the address of the installing C++TESK user’s the home folder.
22
2.If the environment variable CPPTESK_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/cpptesk-toolkit.
23
3.If the environment variable ICARUS_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/verilog.
24
4.It the environment variable VERITOOL_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/veritool.
25
5.C++TESK is installed into the folder $CPPTESK_HOME.
26
6.Icarus Verilog (if it is required) is installed into the folder $ICARUS_HOME.
27
7.VeriTool (if it is required) is installed into the folder $VERITOOL_HOME.
28
Manual installation of Icarus Verilog and VeriTool
29
If the computer is not connected to the Internet, manual installation of Icarus Verilog and VeriTool is required. Installation packages can be downloaded using the following addresses: http://sourceforge.net/projects/iverilog/files/iverilog/0.9.4/verilog-0.9.4.tar.gz and http://forge.ispras.ru/projects/veritool/files.
30 2 Alexander Kamkin
31 1 Alexander Kamkin
For manual installation of Icarus Verilog the following steps should be passed:
32 2 Alexander Kamkin
33 1 Alexander Kamkin
1.If the system variable $ICARUS_HOME is not set, it should be assigned. E.g., the following command sequence can help:
34
export ICARUS_HOME=<path_for_Icarus_Verilog_installation>
35
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile"
36
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc"
37
2.It the folder $ICARUS_HOME does not exist, it should be created:
38
mkdir -p "$ICARUS_HOME"
39
3.Having changed the directory to the one with installation package of Icarus Verilog, it is necessary to apply the following command sequence:
40
tar xf verilog-0.9.4.tar.gz
41
cd verilog-0.9.4
42
./configure --prefix="$ICARUS_HOME"
43
make && make install
44
45
For manual installation of VeriTool the following steps should be passed:
46
47
1.If the system variable $VERITOOL_HOME is not set, it should be assigned. E.g., the following command sequence can help:
48
export VERITOOL_HOME=<path_for_VeriTool_installation>
49
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.profile"
50
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.bashrc"
51
2.It the folder $VERITOOL_HOME does not exist, it should be created:
52
mkdir -p "$VERITOOL_HOME"
53
3.Having changed the directory to the one with installation package of VeriTool, it is necessary to apply the following command sequence:
54
tar xf veritool-0.2.1-beta-20110702.tar.gz
55
cd veritool-0.2.1-beta-20110702
56
./configure --prefix="$VERITOOL_HOME"
57
make all && make install