CV: Installation

Download and setup

The CV distribution can be downloaded as a compressed archive file for

  • Linux on x86 (file cv-linux-86.tar.gz [not yet available])
  • Sun OS 4.1 on Sun SparcStation (latest version of cva and cvc binaries cvbins-sun4-sparc.tar.gz [400kB, last update JUL-17-98]) Please contact Subash Shankar if you would like to obtain sources.

    For other platforms you must download the sources and compile them (see below). 

    > gzip -d cv-platform.tar.gz
> tar xvf cv-platform.tar
cv.beta.1/cva
cv.beta.1/cvc
cv.beta.1/man/man1/cva.1
cv.beta.1/man/man1/cvc.1
cv.beta.1/vhdl/...
    This archive contains:
  • cva the VHDL analyzer,
  • cvc the VHDL model checker,
  • man/man1/cva.1 and man/man1/cvc.1, the manuals for these two programs.
  • vhdl a directory of examples.
  • doc a directory of documentation in html.

    If compilation is needed...

    If you are not using Linux or SUN OS, the sources are available for downloading as well (file cv-source.tar.gz for downloading [330kB, last update JAN-27-97]). Here are the directions to compile the source code to form binaries on your system.

    File cv-sources.tar.gz contains the sources of the description. After you have downloaded it, you must uncompress and unarchive it: 

    > gzip -d cv-sources.tgz
> tar -xf cv-sources.tar

    This will create a directory named cv.beta.1 in the current directory. Command: 

    > cd cv.beta.1

    To go to the directory that contains the software collection (we will refer to this directory as $CVDIR). Edit the file Makefile to set this different variables:

    INSTALLBIN
    to the directory for programs (default is $HOME/bin).
    INSTALLINC
    to the directory for header files (default is $HOME/include).
    INSTALLLIB
    to the directory for libraries (default is $HOME/lib).
    INSTALLMAN
    to the directory for manual entries (default is $HOME/man), files will be copied in directories $INSTALLMAN/man1 $INSTALLMAN/man3.
    INSTALLDOC
    to the directory for documentation. You MUST set these variables to ACTUAL directories (and subdirectories for $INSTALLMAN must exist as well). Otherwise the installation might fail. It is recommended NOT to set these variables to a subdirectory of $CVDIR.
    CC, AR and RANLIB
    to the compiler and development tools available on your system.
    CP and RM
    to the appropriate file manipulation commands and arguments on your system.

    It is recommended to compile with gcc (this is the default), since the installation has not been tested with other compilers. To start the compilation and installation of CV, issue the command: 

    > make

    This is the default installation procedure. In addition to the described binaries and library, it installs the following manual entries: cv.3 cva.1 cvc.1.

    TROUBLESHOOTING:

    An external event might stop the compilation process. Or you might have made a mistake in the settings of the Makefile. In order to revert to the original file configuration, issue the command: 

    > make clobber

    We are not sure that the installation works on every UNIX platform. Please report us such errors, and if you found one, your solution. There is a file name BUG_REPORT_FORMAT included in the distribution. We ask you to use it when reporting bugs, it makes the management of bugs much easier for us.

    Main Sections: Introduction   Installation   Documentation   Examples

    CV / Carnegie Mellon University / cmuvhdl@cs.cmu.edu / Revised December 1996