Veritool

Wiki » History » Revision 9

Revision 8 (Alexander Kamkin, 05/04/2011 04:52 PM) → Revision 9/24 (Alexander Kamkin, 05/04/2011 04:53 PM)

h1. 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@.