Setting Up the Encounter Conformal Working Environment
To use the Cadence Encounter Conformal software with the Quartus II software or the Synplicity Synplify software, you must first install the Quartus II software and the Synplicity Synplify software, and then establish an environment that facilitates entering and processing designs.
Note: If you are using the Encounter Conformal software with Quartus II Integrated Synthesis, you do not need to install the Synplify software.
Make sure you have installed the following versions of the Quartus II software, Encounter Conformal software, and then the Synplify software:
Cadence
Altera
Synplify
Encounter Conformal
version 6.2
Quartus II
version 7.2
Synplify
version 9.0
The Synplify/Encounter Conformal and Quartus II Integrated Synthesis/Encounter Conformal formal verification flows support the Arria GX, Cyclone, Cyclone II, HardCopy II, Stratix, Stratix II, Stratix GX, and Stratix II GX device families. The Quartus II software provides atom and library of parameterized modules (LPM) function libraries, located in the /<Quartus II system directory>/eda/fv_lib/<verilog | vhdl>/ directories.
Note: The Quartus II Software Release Notes are available on the Altera website and provide up-to-date information on which versions of Cadence and Synplify software applications the current version of the Quartus II software supports. The Quartus II readme.txt file provides information on installation and operating requirements. You should read the Release Notes and readme.txt file before installing the Quartus II software. After installation, you can open the Release Notes and readme.txt file from the Quartus II Help menu.
On UNIX Workstations, make sure you added the Encounter Conformal software to your $PATH environment variable by typing the following command at a command prompt:
文档资料
> 
