Project

General

Profile

Actions

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.

Updated by Alexander Kamkin over 5 years ago ยท 23 revisions