HC230 ALTERA [Altera Corporation], HC230 Datasheet - Page 116

• Manufacturer Part Number: HC230
• Description: HardCopy II Device Family
• Manufacturer: ALTERA [Altera Corporation]

HardCopy Series Handbook, Volume 1
Formal
Verification of
Stratix II and
HardCopy II
Revisions
5–24
f
The Tcl command for running the HardCopy II Assembler is as follows:
execute_module -tool asm -args "--
read_settings_files=\ off --write_settings_files=off"
The Tcl command for the HardCopy II Netlist Writer is as follows:
execute_module -tool cdb
generate_hardcopyii_files"\
For more information about using Chip Planner, refer to the Quartus II
Engineering Change Management with Chip Planner chapter in volume 3 of
the Quartus II Handbook at www.altera.com.
Third-party formal verification software is available for your
HardCopy II design. Cadence Encounter Conformal verification software
is used for Stratix II and HardCopy II families, as well as several other
Altera product families.
To use the Conformal software with the Quartus II software project for
your Stratix II and HardCopy II design revisions, you must enable the
EDA Netlist Writer. It is necessary to turn on the EDA Netlist Writer so it
can generate the necessary netlists and command files needed to run the
Conformal software. To automatically run the EDA Netlist Writer during
the compile of your Stratix II and HardCopy II design revisions, perform
the following steps:
1.
2.
3.
The Quartus II EDA Netlist Writer produces one netlist for Stratix II when
it is run on that revision, and generates a second netlist when it runs on
the HardCopy II revision. You can compare your Stratix II post-compile
netlist to your RTL source code using the scripts generated by the
EDA Netlist Writer. Similarly, you can compare your HardCopy II
post-compile netlist to your RTL source code with scripts provided by
the EDA Netlist Writer.
On the Assignment menu, click EDA Tool Settings. The Settings
dialog box displays.
In the EDA Tool Settings list, select Formal Verification, and in the
Tool name list, select Conformal LEC.
Compile your Stratix II and Hardcopy II design revisions, with both
the EDA Tool Settings and the Conformal LEC turned on so the
EDA Netlist Writer automatically runs.
-args "--
Altera Corporation
September 2008