5.1i PrimeTime-如何安装由Xilinx应用程序注释411引用的库?

描述

关键词:应用程序、应用程序、注释、XAPP、411、.db、4.1i、5.1i

紧迫性:标准

一般描述:
如何安装Xilinx应用程序注释411引用的库?

解决方案

被引用的库(Xilinx XAPP411可在ISE 4.1I/5.1I联盟/基础UNIX安装光盘上使用。

要安装PrimeTimes库,请选择“自定义安装”选项而不是Xilinx安装程序窗口中的“典型安装”选项(在安装的“安装项目”部分)。选择安装“SyopSyS PrimeTimeLoopy”和/或“Tuxedo-LEC ValpEX库”的选项。(请注意,VelpEX共形LEC以前被称为“VelpEX Tuxedo-LEC”)。

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

(赛灵思解答12802)“什么是形式验证?”
(赛灵思解答12803)“什么样的用户会对正式的验证流程感兴趣?”
(赛灵思解答12804)“Xilinx支持等价性检查和模型检查吗?”
(赛灵思解答12805)“Xilinx是否支持RTL到RTL、RTL到GATE或门到门的等效性检查?”
(赛灵思解答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提供哪些库?”
(赛灵思解答12823)-“Xilinx产品家族的支持是什么?”
编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-07-30 09:54:17 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它