ABB 控制板UNS 0880A-P,V1,现货销售,顺丰包邮,欲购从速。
详情描述:
随着FPGA器件体积和复杂性的不断增加,设计工程师越来越需要有效的验证方。时序仿真可以是一种能发现***多问题的验证方法,但对许多设计来说,它常常是***困难和费时的方法之一。过去,采用标准台式计算机的时序仿真是以小时或分钟计算的,但现在对某些项目来说,在要求采用高性能64位服务器的情况下,其测试时间却要几天甚至几周。这样,这种方法首先消弭了采用FPGA带来的上市时间和实施成本方面的好处。
FPGA设计和验证工程师当今面临的***大挑战之一是时间和资源制约。随着FPGA在速度、密度和复杂性方面的增加,为完成一个完整时序验证,不仅对人力也对计算机处理器和存储器提出了更多更高的要求。另外,对设计和验证工程师来说(许多情况可能是同一个人),这为在更短的时限内,以更大信心对当今的FPGA设计在***次就可实施彻底成功验证提出了更艰巨的挑战。
时序仿真的重要性
为确保设计可以工作及能连续稳定工作,当今的FPGA既需要功能又需要时序仿真。FPGA设计的复杂性在增加,而传统的验证方***又不再有效。过去,在FPGA设计流中,模拟并非一个重要阶段。但眼下,却成为***关键的步骤之一。当采用类似Xi
linx的Virtex-5 FPGA Family等更***FPGA设计时,时序仿真就变得尤其重要。
传统的FPGA验证方法是:
1.功能模拟
在验证过程中,功能模拟是个非常重要的部分,但不应是***部分。当进行功能模拟时,它只对RTL设计的功能性进行测试。它不包括任何时序信息,它也不考虑由实现和优化对原初设计造成的改变。
2. 静态时序分析/形式验证
许多工程师认为为校验设计是否满足时序要求,只需进行静态时序分析。将此作为***时序分析方法有很多缺陷。静态分析无法发现当设计动态运行时,才能发现的任何问题。静态分析仅能显示该设计作为整体是否可满足设置和保持要求且一般仅达到施加的时序约束的水平。在实际系统中,动态因素可造成FPGA的时序违规。例子之一是块RAM(Block Ram)冲突。在FPGA器件中,随着双端口块RAM(Dual Port Block Rams)的引入,应留心避免同时读/写同一个区域,否则,读取的数据会不正确。静态分析工具将永远无法发现该问题。类似,若有被误读的时间规范(timespec),静态时序分析也将难以发现此问题。
3. 在系统测试
实际上,每位工程师都依赖该方法进行***终测试。若设计能在板上工作且通过了各种测试,则该设计就将被发布。这肯定是个非常好的测试,但它也许没能发现全部问题。有时,在一些边界情况(corner-case)被发现前,设计需运行相当长的时间。诸如时序违约等问题并非在所有芯片中都以相同方式显露出来。当发现这些问题时,设计通常已交到用户手中。这意味着为找出此问题所导致的高成本、***期和挫折感。为能正确完成在系统测试,必须清除全部硬件故障,其中包括与SSO相关的问题、交叉干扰以及其它与板卡关联的问题。若在启动在系统测试前,有需要连接的外部接口,则将延缓产品的上市时间。
从上可知,传统的验证方法不足以进行完整的系统验证。有充足理由进行动态时序分析。
时序仿真是可在其中进行动态分析的***方法。许多工程师有令人信服的理由拒绝进行时序分析。一些主要担心问题是:
它很费时;
为执行验证,需要大量存储器和处理器资源;
为没有办法重复使用取自功能模拟的测试基准,必须创制新测试基准;
为因为整个网络表是展开的,所以设计调试成为一件琐事,另外,没办法及时***问题所在;
为时序仿真显示***坏情况的数量,设计本身可能足够超脱,不至于如此兴师动众;
为并非所有子模块都是在一个环境下进行编程的;
为无法将在各个不同场所编程的部分分开,因为这些部分的设计师应是那些为能进行验证从而对设计有更深刻把握的人。
这些都是正当的关注,这也就是为什么下一节将讨论工程师能做些什么以克服其中某些问题的原因。
在时序仿真中采用Netgen以获得精准结果
Xilinx提出了一种革命性方法以从Netgen中得到用于动态分析匹配的静态时序分析数和时序数。与-pcf 开关一起运行Netgen并指向一个有效PCF文件将确保得自Trce和Netgen的数将互相匹配。
在时序计算时,所有新Xilinx架构都利用了相对***小数(Relative Minimums)的好处。利用相对***小数意味着在设置计算以及相反的保持计算时,将采用***大时钟***和***小数据***。目前的模拟器不支持使用相同SDF文件中分别取自MIN域和MAX域的数。基于该限制,Xilinx需要两个不同的模拟-- 一个用于设置,另一个用于保持。
BTV06.1HN-RS-FW
Emerson FX-316
Kuka MFC 1.08
6BK1700-2BA20-0AA0
P0971WV DNBT
IC693ALG220G
IC693D***302-AE
IC693MDL740F
IC693MDL645E
HE693PBM101E
IC693CMM321-EF
IC693PBS105G
IC693BEM331K
IC670MDL740J
IC670PBI001-BE
QPI3D200C2P-B
VMIVME-7695
HONEYWELL 51304754-150 MC-PAIH03
ABB 5SHY3545L0010
CES0130038 CEPL130260-02
KUKA KPS-600/20-ESC
KUKA ESC-Platine订货号0-106-290
KUKA PH1003-2840 订货号00-109-802
KUKA KVGA 1.0 订货号1-039-276
6DD1611-OAGO
6DD16OO-OAJO
6DD1688-OADO
6DD1662-OABO
6DD1688-OAE2
6DD1606-3ACO
6DD1688-0AE2
6DD1606-3AC0
6DD1611-0AD0
6DD1606-4AB0
F1A1443GM1
EP204-I00-EN00
1756-L75
P0916TA FBM242
TELTONE TLS-5D-01
P0914SY FBM204
ACS Tech80 SB1292
6DD1607-0CA1
6DD1607-0AA0
6DD1681-0GK0
6DD1681-0EB3
6DD1684-0GD0
6DD1684-0GC0
6DD1607-0AA2
6DD1681-0AJ1
6GF9003-2AB
2711-K10C15
6EW1860-3AA
Genmark GPR-MT-2000 PA4101017
STP-XH2603P new 3620-00368
Leybold 12132 MAGW2010C AMAT 3620-01573
ENI OEM-650A
OEM-6A-11491-51
ENI OEM-12A
OEM-12A-21041-51
ENI OEM-10B RF
OEM-10B-8
ENI OEM-1250 RF
AMAT 0920-01035
ENI OEM-28B-02
AMAT 0190-36663
ENI OEM-25B-01 RF
1756-L60M03SE
6FC5403-0AA00-0AA1
3BHB004661R0101
IS215UCVDH5AN
AB 1720-L905
Schleicher USP 2I
IC693APU301
TK-ORC081
Andover SCX-920
1747OC-EDEBA
CP502 1SBP260171R1001
A05B-2518-C203
A05B-2518-C202
Neutrik A2P08F & A2 P07C & A2 P03D
Siemens O*** TP22 6GK1105-2AE00
Siemens O*** ITP62 6GK1105-2AA00
FOXBORO IPM2-P0904HA
SANYO DENKI 103H548-0410
SUMTAK IRH320-1000-203
51304362-150
P0914YM FCM210
MC-PLAM02
HIRSCHMANN -MS3124-4