Installation¶

Install Icarus Verilog: * Download and unpack on of the releases available here:ftp://icarus.com/pub/eda/verilog/v0.9/. * Run sh configure --prefix=installation_directory. * Run make all install. * Set ICARUS_HOME: export ICARUS_HOME=installaction_directory.
Install VeriTool: * Download and unpack on of the releases available here:http://forge.ispras.ru/projects/veritool/files. * Run sh configure --prefix=veritool_installation_directory. * Run make all install. * Add veritool_installation_directory/bin to PATH.