Setting Up the Encounter Conformal Working Environment

To use the Cadence Encounter Conformal software with the software or the Synopsys Synplify software, you must first install the software and the Synopsys Synplify software, and then establish an environment that facilitates entering and processing designs.

Note:

If you are using the Encounter Conformal software with Integrated Synthesis, you do not need to install the Synplify software.

Make sure you have installed the following versions of the software, Encounter Conformal software, and Synplify software:

Cadence

Altera

Synopsys

Encounter Conformal version 8.1

version 13.0

Synplify versionE-2012.09-SP1

The Integrated Synthesis/Encounter Conformal formal verification flows support the Arria series, Cyclone series, and Stratix series device families. The software provides atom Definition and library of parameterized modules (LPM) function libraries, located in the /<system directory>/eda/fv_lib/<verilog | vhdl>/ directories.

Note:
The Software Release Notes are available on the Altera website Definition and provide up-to-date information on which versions of Cadence and Synplify software applications the current version of the software supports. The readme.txt file provides information on installation and operating requirements. You should read the Release Notes and readme.txt file before installing the software. After installation, you can open the Release Notes and readme.txt file from the Help menu.
On Linux systems, make sure you added the Encounter Conformal software to your $PATH environment variable by typing the following command at a command prompt:
setenv PATH "<Encounter Conformal installation directory>/bin:$PATH"
To continue with the Synplify/Encounter Conformal verification flow, refer to perform formal verification with the Encounter Conformal software .
To continue with the Integrated Synthesis/Encounter Conformal verification flow, perform formal verification with Integrated Synthesis and the Encounter Conformal software.