| Table 1. Quartus II Software Verification Solutions |
| Verification Method |
Description |
Quartus II Software Support
or Subscription Support |
Third-Party Support |
| Design Rule Checking |
Checks designs before synthesis and fitting for coding styles that could cause synthesis, simulation, or design migration problems. |
- Quartus II software to HardCopy® device migration design rule checking
|
|
| Functional Verification |
Checks whether a design meets functional requirements before fitting. |
|
- Aldec
Active HDL
Rivera
- Cadence
Incisive
NC Desktop Family
- Mentor Graphics®
ModelSim tool
- Synopsys
VCS
|
| Testbench Generation |
Reduces amount of hand-generated test vectors. |
- Waveform-to-testbench converter
- Testbench template generator
|
|
| Static Timing Analysis |
Analyzes, debugs, and validates a design's performance after fitting. |
|
|
| Timing Simulation |
Performs a detailed gate-level timing simulation after fitting. |
|
- Cadence
NC-SIM
- Mentor Graphics
ModelSim tool
- Synopsys
VCS
|
Hardware or
Software Co-Simulation |
Quickly simulates interaction between PLD hardware, embedded processor, memory, and peripherals. |
|
- Mentor Graphics
ModelSim tool
|
| In-System Verification |
Reports behavior of internal nodes in-system and at system speeds. |
|
|
| Board-Level Timing Analysis |
Verifies whether PLD and entire board meet system timing requirements. |
|
|
Signal Integrity
Analysis and Electromagnetic Compatibility (EMC) |
Verifies that high-speed I/O signals will be transmitted reliably and within EMC guidelines. |
- Quartus II software design-specific IBIS model generation
|
- Cadence
SpectraQuest
- Mentor Graphics
Interconnectix
XTK
Hyperlynx
- Synopsys
HSPICE
|
| Formal Verification |
Identifies differences between source register transfer level (RTL) netlists and post place-and-route netlists without the user creating any test vectors. |
|
- Cadence
Conformal LEC
- Synopsys
Formality
|
| Power Estimation |
Estimates the power consumption of a device using your design operating characteristics. Quartus II PowerPlay power analysis and optimization technology can read in VCD file input from the third-party tools listed. |
|
- Cadence
NC-SIM
- Mentor Graphics
ModelSim tool
- Synopsys
VCS
|