SW-QUARTUS-SE-FIX Altera, SW-QUARTUS-SE-FIX Datasheet - Page 123

• Manufacturer Part Number: SW-QUARTUS-SE-FIX
• Description: QUARTUS II ANNUAL SUBSCRIPTION
• Manufacturer: Altera
• Type: Design Softwarer
• Series: QUARTUS IIr

Specifications of SW-QUARTUS-SE-FIX

• Mfg Application Notes: Software Licensing App Note
• Core Architecture: CPLD, FPGA
• Supported Families: Quartus II, Nios II
• Software Edition: Standard
• License Type: Fixed - Node
• Supported Hosts: Windows
• Rohs Compliant: NA
• For Use With/related Products: Altera Devices
• Lead Free Status / RoHS Status: Lead free / RoHS Compliant
• Other names: 544-1247; FIXEDPC

C
F
Formal Verification
114
ORMAL
HAPTER
f
■
V
ERIFICATION
8: EDA T
I
NTRODUCTION TO THE
2.
3.
The Quartus II software allows you to use formal verification EDA tools to
verify the logical equivalence between source design files and Quartus II
output files.
For Information About
Using the Synopsys PrimeTime
software with the Quartus II software
Using the Mentor Graphics Tau
software with the Quartus II software
OOL
Compile the design in the Quartus II software to generate the STAMP
model files. The Quartus II software places the files in a tool-specific
directory.
Use the STAMP model files in the Tau software to perform board-level
timing verification.
S
UPPORT
Figure 3
Q
UARTUS
shows the formal verification flow.
II S
OFTWARE
Refer To
Synopsys PrimeTime Support chapter in
volume 3 of the Quartus II Handbook
“About Using the Tau Software with the
Quartus II Software” in Quartus II Help
A
LTERA
C
ORPORATION