| 表1.Quartus II软件验证解决方案 |
| 验证方法 |
说明 |
Quartus II 软件支持 或订户支持 |
第三方支持 |
| 设计规则检查 |
在进行综合或fitting之前对设计以及编程风格进行检查,防止在综合、仿真或设计移植中出现任何的问题 |
- Quartus II 软件到HardCopy® 器件移植设计规则检查
|
|
| 功能验证 |
在fitting之前检查设计是否符合功能方面的要求 |
|
- Aldec: Active HDL, Rivera
- Cadence: Incisive, NC Desktop Family
- Mentor Graphics®: ModelSim Tool
- Synopsys: VCS, Scirrocco
|
| 仿真激励的生成 |
缩短原来手动生成测试向量所需时间 |
|
|
| 静态时序分析 |
fitting后对设计性能进行分析、调试和验证 |
|
|
| 时序仿真 |
fitting之后进行细致的门级时序仿真 |
|
- Cadence: NC-Verilog, NC-VHDL
- Mentor Graphics: ModelSim
- Synopsys: VCS, Scirrocco
|
| 硬件或软件协同仿真 |
快速地进行PLD硬件、嵌入式处理器、存储器和外设之间的交互仿真 |
|
- Mentor Graphics: ModelSim
|
| 在系统验证 |
在系统和以系统速度报告内部节点的工作情况 |
|
|
| 板级时序分析 |
验证PLD和整个电路板是否满足系统时序要求 |
|
|
信号完整性分析 和电磁兼容性 (EMC) |
验证高速I/O信号能够可靠传送和符合EMC规则 |
|
- Cadence: SpectraQuest
- Mentor Graphics: Interconnectix, XTK, Hyperlynx
- Synopsys: Hspice
|
| 形式验证 |
用户不必建立任何测试矢量识别原始寄存器传输级(RLT)网表和布局布线后网表的差别 |
|
- Cadence: Conformal LEC
- Synopsys: Formality
|
| 功率估计 |
根据用户的设计操作特性,估算器件的功耗。Quartus II PowerPlay功率分析器可以读入所列出的来自第三方工具的VCD格式文件。
|
|
- Cadence: NC-SIM
- Mentor Graphics: ModelSim
- Synopsys: VCS
|