Project

General

Profile

Installation Guide » History » Version 12

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

1 1 Alexander Kamkin
h1. Installation Guide
2
3
h2. Introduction
4
5 11 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 (they are used for generating C/C++ API for Verilog modules).
6
7
Before installing the toolkit make sure that [[System Requirements]] are met.
8 1 Alexander Kamkin
9
h2. Installation
10
11 12 Alexander Kamkin
To install C++TESK, pass the following steps:
12 1 Alexander Kamkin
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 12 Alexander Kamkin
Home directories for all of the tools are chosen according to the following rules:
20 1 Alexander Kamkin
21 12 Alexander Kamkin
# 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
# If the environment variable CPPTESK_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/cpptesk-toolkit.
23
# If the environment variable ICARUS_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/verilog.
24
# It the environment variable VERITOOL_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/veritool.
25
# C++TESK is installed into the folder $CPPTESK_HOME.
26
# Icarus Verilog (if it is required) is installed into the folder $ICARUS_HOME.
27
# VeriTool (if it is required) is installed into the folder $VERITOOL_HOME.
28 6 Alexander Kamkin
29
h3. Manual installation of Icarus Verilog and VeriTool
30
31 1 Alexander Kamkin
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.
32 2 Alexander Kamkin
33 7 Alexander Kamkin
For manual installation of Icarus Verilog the following steps should be passed:
34 1 Alexander Kamkin
35 7 Alexander Kamkin
# If the system variable $ICARUS_HOME is not set, it should be assigned. E.g., the following command sequence can help:
36
<pre>
37 1 Alexander Kamkin
export ICARUS_HOME=<path_for_Icarus_Verilog_installation>
38
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile"
39
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc"
40 7 Alexander Kamkin
</pre>
41
# It the folder $ICARUS_HOME does not exist, it should be created:
42
<pre>
43 1 Alexander Kamkin
mkdir -p "$ICARUS_HOME"
44 7 Alexander Kamkin
</pre>
45
# Having changed the directory to the one with installation package of Icarus Verilog, it is necessary to apply the following command sequence:
46
<pre>
47 1 Alexander Kamkin
tar xf verilog-0.9.4.tar.gz
48
cd verilog-0.9.4
49
./configure --prefix="$ICARUS_HOME"
50
make && make install
51 7 Alexander Kamkin
</pre>
52 1 Alexander Kamkin
53 7 Alexander Kamkin
For manual installation of VeriTool the following steps should be passed:
54 1 Alexander Kamkin
55 9 Alexander Kamkin
# If the system variable $VERITOOL_HOME is not set, it should be assigned. E.g., the following command sequence can help:
56
<pre>
57 10 Alexander Kamkin
export VERITOOL_HOME=< _path_for_VeriTool_installation_ >
58 1 Alexander Kamkin
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.profile"
59
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.bashrc"
60 9 Alexander Kamkin
</pre>
61
# It the folder $VERITOOL_HOME does not exist, it should be created:
62
<pre>
63 1 Alexander Kamkin
mkdir -p "$VERITOOL_HOME"
64 9 Alexander Kamkin
</pre>
65
# Having changed the directory to the one with installation package of VeriTool, it is necessary to apply the following command sequence:
66
<pre>
67 1 Alexander Kamkin
tar xf veritool-0.2.1-beta-20110702.tar.gz
68
cd veritool-0.2.1-beta-20110702
69
./configure --prefix="$VERITOOL_HOME"
70
make all && make install
71 9 Alexander Kamkin
</pre>