The package for verilog simulation is http://apt.cs.manchester.ac.uk/ftp/pub/amulet/balsa/3.5/balsa-sim-verilog-3.5.tar.gz It supports the following Verilog simulators: Icarus Verilog, Synopsys VCS, Cadence NC-Verilog, Cadence Verilog-XL, Model Technologies Modelsim and Cver. ------------------------------------------ Important notes: - For Cver, you must use the version available on our ftp, which fixes a bug preventing it from running with Balsa, or a version>=1.10i. - For Icarus Verilog, you must use a version able to handle VPI calls: either stable version >= 0.8, or development snapshots >= 20040220). - Note: At the time of writing, the latest development snapshots of both Icarus and Cver have problems with the VPI interface. The stable Icarus 0.8 and the version of Cver provided on our website are ok. Icarus 0.8 also has problems compiling with gcc4. Compiles with gcc3.2. - On 64-bit computers having only a 32-bit version of a Verilog simulator, you may have some problems linking the Balsa simulation to this particular simulator. The way around this problem is to use a 32-bit version of Balsa when the 32-bit simulator is needed. For this, you can build Balsa on a 32-bit machine or you can build it with the appropriate definitions: (CC="gcc -m32", LD="ld -m elf64_i386", LDFLAGS="-L/usr/lib" and configure --libdir=/usr/lib). ------------------------------------------ Copies of the source packages of Cver and Icarus Verilog are available on our website (Our version of Cver is the amended package fixing a bug): * Cver (main website: http://www.pragmatic-c.com/gpl-cver/): http://apt.cs.manchester.ac.uk/ftp/pub/amulet/balsa/other-software/gplcver-1.10h.bugfixed.src.tar.bz2 * Icarus Verilog (main website: http://icarus.com/eda/verilog/): http://apt.cs.manchester.ac.uk/ftp/pub/amulet/balsa/other-software/verilog-0.8.tar.gz The tricky point of the installation is that the simulators MUST be installed prior to the installation of the wrapper, and the location of their library header files must be known. The following options must be used to specify these locations: For Icarus Verilog: --with-icarus-includes= --with-icarus-libs= For Synopsys VCS: --with-vcs-includes= For Cadence Verilog simulators (NC-Verilog, Verilog-XL): --with-cds-includes= For Model Technologies Modelsim: --with-modelsim-includes= For Cver: --with-cver-includes= Special care must be taken with the Cver simulator, which doesn't install its header files in the installation directory. These must be kept (and copied if necessary) from the sources directory. ------------------------------------------ Here is an example of an installation process: [ 0) Install the Balsa Core package (see INSTALL file) ] 1) Check that the executable balsa-config is visible which balsa-config 2) cd to a convenient build directory and get the balsa-sim-verilog package, the Cver package and/or the Icarus Verilog package 3) Install Cver tar xjf gplcver-1.10h.bugfixed.src.tar.bz2 cd gplcver-1.10h.src/src make -f makefile. # read their INSTALL and README files cd .. cp bin/cver /usr/local/balsa/bin/ mkdir -p /usr/local/balsa/include cp -rf pli_incs /usr/local/balsa/include/cver_pli_incs cd .. 4) Install Icarus Verilog tar xzf verilog-0.8.tar.gz cd verilog-0.8 ./configure --prefix=/usr/local/balsa make install cd .. 5) Install the example technology package tar xzf balsa-sim-verilog-3.5.tar.gz cd balsa-sim-verilog-3.5 ./configure --with-icarus-includes=/usr/local/balsa/include --with-icarus-libs=/usr/local/balsa/lib --with-cver-includes=/usr/local/balsa/include/cver_pli_incs make install cd ..