Sign In
Forgot Password?
Sign In | | Create Account

Getting Started with STILVerify

Copyright 2010 mentor Graphics Corporation

The original recipient of this document may reproduce and distribute this document for internal use at a customer site licensed to use the Mentor Graphics software referenced herein, provided that this notice appear on all copies.

This document may contain information that is proprietary to Mentor Graphics. Recipients of this document that copy or distribute this document to agree to take reasonable steps to prevent unauthorized use by, or distribution to, persons and companies not licensed to use the Mentor Graphics software referenced herein.

TRADEMARKS: The trademarks, logos and service marks ("Marks") used herein are the property of Mentor Graphics Corporation or other third parties. No one is permitted to use these Marks without the prior written consent of Mentor Graphics or the respective third-party owner. The use herein of a third-party Mark is not an attempt to indicate Mentor Graphics as a source of a product, but is intended to indicate a product from, or associated with, a particular third party. The following is a trademark of Mentor Graphics Corporation: STILVerify. A current list of Mentor Graphics' trademarks may be viewed at:

End-User License Agreement: You can print a copy of the End-User License Agreement from:


STILVerify is available for download.

STILVerify runs on 32-bit versions of the following operating systems:

  • Red Hat Enterprise 4 and 5 x86
  • Sun Solaris 8, 9 and 10 UltraSPARC

The STILVerify tar file contains the STILVerify tree for all platforms.


To install the DFT software, first unpack the tar file and then add the 'bin' directory that gets unpacked to the PATH variable. To do this, follow these instructions:

  1. Create a new directory for your STILVerify installation:
    $ mkdir stilverify_tree
  2. Change your current working directory into this new directory:
    $ cd stilverify_tree

    This is the location where you will unpack the tar file to create a standalone tree for supported platforms.

  3. Unpack the tar file:
    $ tar xvzf stilverify_<version>.tgz
  4. Add the pathname of the 'bin' directory in your STILVerify tree to the PATH environment variable, so you can invoke the 'stilverify' application without needing to type the full pathname.

    In a Bourne or Korn shell:

    $ PATH=stilverify_tree/bin:$PATH
    $ export PATH

    In a C Shell:

    % setenv PATH stilverify_tree/bin:${PATH}

The install is now complete.


The STILVerify Getting Started Guide can be found at:


The STILVerify Getting Started Guide is in Portable Document Format (PDF). You can view documentation with the Acrobat Reader already on your computer, provided it is one of the versions of Acrobat Reader listed on the Mentor Graphics website at:

A copy of the End-User License Agreement for the STILVerify utility is at the end of the STILVerify Getting Started Guide and in the LICENSE.stilverify file.

Online Chat