61I-对RTL到RTL、RTL到门或门到门的Xilinx支持等价性检查吗？

描述

关键词：RTL，门，4.1I，5.1I，RTL，等效性

紧迫性：标准

一般描述：
Xilinx是否支持RTL到RTL、RTL到GATE或门到门的等效性检查？

解决方案

一

Xilinx只支持RTL到门等效性检查。（对于RTL到RTL和门到门检查，请与正式验证工具供应商联系。）

Xilinx支持形式化验证工具，以便对RTL进行等价性检查，以便对Xilinx器件的布局设计和RTL进行综合和RTL。Xilinx既不验证也不认可使用这些工具用于任何其他目的（如重新定位等）。Xilinx建议您直接联系您的正式验证工具供应商以获得关于重新定位和其他应用程序的进一步信息。

二

有关相关的黄金时段信息，请参阅以下答案记录：

（赛灵思解答12802）“什么是形式验证？”
（赛灵思解答12803）“什么样的用户会对正式的验证流程感兴趣？”
（赛灵思解答12804）“Xilinx支持等价性检查和模型检查吗？”
（赛灵思解答12806）“为什么Xilinx支持等价性检查？”
（赛灵思解答12807）“Xilinx计划支持模型检查吗？”
（赛灵思解答12808）-“等效检查是否代替仿真？”
（赛灵思解答12809）-“我应该什么时候使用等价性检查？”
（赛灵思解答12810）“我如何从使用等价性检查中获益？”
（赛灵思解答12811）-“我可以使用等价性检查来将FPGA重新定位为ASIC吗？”如果是这样，怎么办？”
（赛灵思解答12812）“哪些等价性检查工具供应商支持Xilinx？”
（赛灵思解答12813）“Xilinx支持哪些平台？”
（赛灵思解答12814）“我是一个正式的客户。我与谁联系支持相关问题？”
（赛灵思解答12815）-“关于验证流的应用笔记可用吗？”
（赛灵思解答12816）-“验证流的局限性是什么？”
（赛灵思解答12817）“验证流程是否与SyopSoopFCII、Synplicity Synplify和Mentor LeonardoSpectrum综合工具一起工作？”
（赛灵思解答12818）“验证流程是否与所有语言一致？”
（赛灵思解答12820）-“谁供应库？”
（赛灵思解答12821）“Xilinx提供哪些库？”
（赛灵思解答12822）-“如何安装Xilinx应用程序注释411引用的库？”
（赛灵思解答12823）-“Xilinx产品家族的支持是什么？”