文档资料 许可 在线购买 下载 全部页面 技术资料 产品型号

主页   |   产品   |   支持   |   最终市场   |   技术中心   |   教育与活动   |   公司介绍   |   在线购买

mySupport   |   器件   |   软件   |   IP   |   设计范例   |   参考设计

产品    Quartus II       SOPC Builder       MAX+PLUS II       ModelSim-Altera     资源中心       简介       安装&许可       脚本        电路板设计& I/O       网表阅读器 & 综合       编译增强特性       优化       功耗管理    TimeQuest时序分析器       标准时序分析器       仿真 & 确认       片内调试       HardCopy设计     软件资源       操作系统支持       驱动安装     下载与许可       下载    许可     Quartus II EDA 支持       Quartus II 接口    综合工具    仿真工具    验证工具           Incisive Conformal    时序分析工具    再综合工具    电路板级工具     老版软件EDA支持       供应商类       工具类       功能类

主页 > 支持 > 软件 > 验证工具 > Incisive Conformal 打印此页 发送此页 About Using the Encounter Conformal Software with the Quartus II Software You can use the Cadence Encounter Conformal software to perform formal verification of a Synplicity Synplify-generated Verilog Quartus Mapping File (.vqm) and a corresponding post-fit Verilog Output File (.vo) generated by the Quartus II software. The following topics describe the typical flow to perform formal verification using the Quartus II software and the Encounter Conformal software: Set up the Encounter Conformal working environment Perform formal verification with the Encounter Conformal software Perform formal verification with Quartus II Integrated Synthesis and the Encounter Conformal software You can also use Quartus II Integrated Synthesis to synthesize a design and then perform an RTL to gate-level equivalence verification using the Encounter Conformal software. The Encounter Conformal software compares the RTL netlist (described in Verilog HDL or VHDL) to the Quartus II-generated gate-level, post-fit Verilog Output File for functional equivalence. Refer to the Design Guidelines for Using Quartus II Integrated Synthesis and the Encounter Conformal Software topic for design guidelines to avoid mismatches when performing formal verification.   More information is available on other EDA formal verification tools on the Altera website.     给本页评分

请填写反馈意见   注册索取最新邮件通知

主页 | 产品 | 支持 | 最终市场 | 技术中心 | 教育与活动 | 公司介绍 | 在线购买  mySupport | 器件 | 软件 | IP | 设计范例 | 参考设计  联系我们 | 站点帮助 | 网站导航 | 个人信息 | 法律申明  Copyright © 1995-2008 Altera International Limited, 香港九龙观塘观塘道388号创纪之城1期1座9楼11-18室 Altera, Stratix, Arria, Cyclone, MAX, HardCopy, Nios, Quartus和MegaCore是Altera公司的商标。