How to Install VeriTool¶

Install Icarus Verilog:¶

• Download and unpack one of the releases available here.
• Go inside the directory and configure the package: configure --prefix=<ICARUS-INSTALLATION-DIRECTORY>.
• Compile and install the package: make all install.
• Set the home variable: export ICARUS_HOME=<ICARUS-INSTALLATION-DIRECTORY>.

Install VeriTool under Linux:¶

• Download and unpack one of the releases available here.
• Go inside the directory and configure the package: sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>.
• Compile and install the package: make all install.
• Add <VERITOOL-INSTALLATION-DIRECTORY>/bin to PATH.

Install VeriTool under Windows using MinGW:¶

• Download and unpack one of the releases available here.
• Go inside the directory and configure the package: sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>.
• Modify src/veritool/Makefile.in by adding -livl to veritool_tgt_LDFLAGS and modifying from
  

  veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) 
  
      @rm -f veritool.tgt$(EXEEXT)
  
      $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDADD) $(LIBS)
  

  
  to
  

  veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) 
  
      @rm -f veritool.tgt$(EXEEXT)
  
      $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDFLAGS) $(veritool_tgt_LDADD) $(LIBS)
  

  
  and from
  

  veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \
  
      $(veritool_tgt_LDFLAGS) $(LDFLAGS) -o $@
  

  
  to
  

  veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \
  
      $(LDFLAGS) -o $@
  

• Compile and install the package: make all install.
• Add <VERITOOL-INSTALLATION-DIRECTORY>/bin to PATH.

How to Run VeriTool¶

• Install VeriTool.
• Run veritool --help.