仿真和验证支持资源

仿真对于验证设计行为非常关键。使用仿真器和测试台,对HDL编写的设计进行仿真是验证大规模设计成熟可靠的方法。Quartus® II设计套装包括Quartus II仿真器,为功能和时序仿真提供所有流行的第三方仿真器支持。

形式验证是验证设计实现成熟可靠的方法。Quartus II软件为形式验证提供流行的第三方业界工具支持。

关于仿真的其他信息,请参考:

关于形式验证的其他信息,请参考:

关于Quartus II软件验证和仿真特性的简要介绍,请参考验证和仿真产品特性页面。

如果需要搜索已知仿真和验证问题以及技术支持解决方案,请使用英特尔的知识数据库。您还可以访问英特尔 FPGA ®论坛,与其他英特尔用户沟通并讨论技术问题。

关于更进一步的技术支持,请使用 My Intel 来建立、查看并更新服务申请。

仿真资源

表1提供了仿真相关文档的链接。

表1. 仿真支持文档

资源

说明

Mentor Graphics ModelSim和QuestaSim支持

 

Synopsys VCS支持

 

Cadence NC-Sim支持

Quartus Prime开发软件手册中的这些章节逐步深入介绍了采用Mentor Graphics ModelSim/ModelSim-Altera、Synopsys VCS,以及Cadence NC-Sim仿真工具进行功能寄存器传送级(RTL)、功能后综合以及后适配时序仿真。

英特尔软件安装和许可(PDF)

这一章介绍了在Windows和Linux平台上安装Quartus Prime软件和相关软件的要求和过程。

在第三方仿真工具中仿真英特尔 IP

英特尔 FPGA 知识产权(IP)提供了快速简单的方法来构建您的设计,不需要花费时间为设计中不同的组件编写您自己的RTL。所有英特尔 IP都支持在VHDL和Verilog中进行仿真。这一章介绍了怎样采用第三方仿真工具进行英特尔 IP功能和门级仿真。

AN 351:仿真Nios II嵌入式处理器设计(PDF)

这一应用笔记介绍了使用Nios® II实例设计、SOPC Builder和Nios II集成开发环境(IDE),在ModelSim仿真器中建立并运行RTL仿真的过程。

Aldec Active-HDL支持

Quartus Prime开发软件手册中的这一章逐步深入的介绍了采用Aldec Active-HDL仿真工具进行功能寄存器传送级(RTL)、功能后综合以及后适配时序仿真。

ModelSim命令参考(PDF)

Mentor Graphics开发的这一命令参考手册介绍了所有ModelSim命令。

ModelSim在工作

Mentor Graphics开发的这一网站提供了使用ModelSim仿真器的信息。

 

表2列出了仿真相关培训和文档的链接。

 

表2. 仿真演示和培训课程

资源

说明

ModelSim在线演示

ModelSim在线视频演示简要介绍了使用ModelSim-英特尔仿真器和Quartus II软件。

这一演示约3分钟。

Mentor Graphic的ModelSim软件简介 
(在线课程)

培训简要介绍了Mentor Graphics的ModelSim软件。

这是为时1小时的在线课程。