轨道交通设备中FPGA芯片等效性验证方法

• 作者: 刘伟超 郑桂燕 陈光
• 来源期刊: 铁路通信信号工程技术
• 关键词: 等效性检查 FPGA验证 Formality软件 Conformal LEC软件
• 年，卷（期）: 2016,（1）
• 页码范围: 72-76
• 页数: 5页
• 字数: 4008字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4440.2016.01.019

摘要

FPGA芯片综合及布局布线后的功能验证对于保证设计可靠性有重要意义，目前常用的后仿真验证方法存在两个问题，一个是复杂度大时间较长，另一个是异常状态的测试覆盖率不足。提出利用等效性检查进行功能验证的方法，并给出主流厂商芯片的验证流程及异常处理措施。与后仿真的验证方法相比，本方法验证工作量更低，测试覆盖率高，对提高设计可靠性有重要作用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑桂燕		3	7	2.0	2.0
2	陈光		1	0	0.0	0.0
3	刘伟超		3	1	1.0	1.0