基于反馈约束的SRAM接口时序分析方法

• 作者: 刘国斌 吴维林 左丽丽 陈云
• 来源期刊: 计算机测量与控制
• 关键词: FPGA 静态时序分析 SRAM
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 设计与应用
• 页码范围: 179-183
• 页数: 5页
• 分类号: TP391
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2020.01.038

摘要

FPGA验证作为保证FPGA产品功能和可靠性的重要手段已经备受关注;对接口芯片时序的验证通常通过布局布线后仿真来进行,但布局布线后仿真需要耗费大量的时间;介绍了一种基于反馈的SRAM接口时序验证的方法,将FPGA输入输出连接成一个回路,验证结果表明,与动态仿真验证相比,该种静态时序验证方法可以较早、快速、精确定位FPGA接口时序设计存在的问题;缩短了验证时间,提高了验证效率、准确性和覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	左丽丽		5	18	3.0	4.0
2	吴维林		8	10	1.0	3.0
3	刘国斌		8	13	3.0	3.0
4	陈云		5	8	2.0	2.0