Project

General

Profile

Installation Guide » History » Version 20

Alexander Kamkin, 09/26/2011 04:33 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 19 Alexander Kamkin
# 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.
14 20 Alexander Kamkin
# Unzip the downloaded archive:
15 18 Alexander Kamkin
<pre>
16
% tar xf cpptesk-toolkit-src-*.tar.gz
17
</pre>
18
# Run executable script named install.sh, using the following parameters:
19 16 Alexander Kamkin
* no parameters — install C++TESK only;
20
* --install-veritool — install4 C++TESK (version 1.0), simulator Icarus Verilog, and VeriTool, if they haven’t been installed;
21
* --force-install-veritool — installs С++TESK, simulator Icarus Verilog, and VeriTool (Icarus Verilog and VeriTool will be installed even if they have been installed already).
22 1 Alexander Kamkin
23 12 Alexander Kamkin
Home directories for all of the tools are chosen according to the following rules:
24 1 Alexander Kamkin
25 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.
26
# If the environment variable CPPTESK_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/cpptesk-toolkit.
27
# If the environment variable ICARUS_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/verilog.
28
# It the environment variable VERITOOL_HOME is not defined, it will be assigned to the value $ISPRAS_HOME/tools/veritool.
29
# C++TESK is installed into the folder $CPPTESK_HOME.
30
# Icarus Verilog (if it is required) is installed into the folder $ICARUS_HOME.
31
# VeriTool (if it is required) is installed into the folder $VERITOOL_HOME.
32 6 Alexander Kamkin
33
h3. Manual installation of Icarus Verilog and VeriTool
34
35 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.
36 2 Alexander Kamkin
37 7 Alexander Kamkin
For manual installation of Icarus Verilog the following steps should be passed:
38 1 Alexander Kamkin
39 7 Alexander Kamkin
# If the system variable $ICARUS_HOME is not set, it should be assigned. E.g., the following command sequence can help:
40
<pre>
41 1 Alexander Kamkin
export ICARUS_HOME=<path_for_Icarus_Verilog_installation>
42
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile"
43
echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc"
44 7 Alexander Kamkin
</pre>
45
# It the folder $ICARUS_HOME does not exist, it should be created:
46
<pre>
47 1 Alexander Kamkin
mkdir -p "$ICARUS_HOME"
48 7 Alexander Kamkin
</pre>
49
# Having changed the directory to the one with installation package of Icarus Verilog, it is necessary to apply the following command sequence:
50
<pre>
51 1 Alexander Kamkin
tar xf verilog-0.9.4.tar.gz
52
cd verilog-0.9.4
53
./configure --prefix="$ICARUS_HOME"
54
make && make install
55 7 Alexander Kamkin
</pre>
56 1 Alexander Kamkin
57 7 Alexander Kamkin
For manual installation of VeriTool the following steps should be passed:
58 1 Alexander Kamkin
59 9 Alexander Kamkin
# If the system variable $VERITOOL_HOME is not set, it should be assigned. E.g., the following command sequence can help:
60
<pre>
61 10 Alexander Kamkin
export VERITOOL_HOME=< _path_for_VeriTool_installation_ >
62 1 Alexander Kamkin
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.profile"
63
echo "export VERITOOL_HOME=$VERITOOL_HOME">>"$HOME/.bashrc"
64 9 Alexander Kamkin
</pre>
65
# It the folder $VERITOOL_HOME does not exist, it should be created:
66
<pre>
67 1 Alexander Kamkin
mkdir -p "$VERITOOL_HOME"
68 9 Alexander Kamkin
</pre>
69
# Having changed the directory to the one with installation package of VeriTool, it is necessary to apply the following command sequence:
70
<pre>
71 1 Alexander Kamkin
tar xf veritool-0.2.1-beta-20110702.tar.gz
72
cd veritool-0.2.1-beta-20110702
73
./configure --prefix="$VERITOOL_HOME"
74
make all && make install
75 9 Alexander Kamkin
</pre>