Specifications

CHAPTER 14: FORMAL VERIFICATION
USING EDA FORMAL VERIFICATION TOOLS
226 ■ INTRODUCTION TO QUARTUS II ALTERA CORPORATION
In the Formal Verification page under EDA Tool Settings in the Settings
dialog box (Assignments menu), you can specify the EDA formal
verification tool you will use. See Figure 3.
Figure 3. Formal Verification Page of Settings Dialog Box
Table 1. Quartus II–Supported EDA Formal Verification Tools
Formal Verification Tool
Name
Verilog Quartus
Mapping File (.vqm)
Support
RTL Verilog HDL or
VHDL Design File
Support
Cadence Encounter Conformal vv
Synopsys Formality v