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

SRAM Interface Timing Analysis Method Based on Feedback Constraint

作　　者：左丽丽 刘国斌 吴维林 陈云 Zuo Lili;Liu Guobin;Wu Weilin;Chen Yun(Shanghai Aerospace Software Testing and Evaluation Center,Shanghai 201109,China)

机构地区：[1]上海航天软件测评中心

出　　处：《计算机测量与控制》2020年第1期179-183,共5页Computer Measurement &Control

摘　　要：FPGA验证作为保证FPGA产品功能和可靠性的重要手段已经备受关注;对接口芯片时序的验证通常通过布局布线后仿真来进行,但布局布线后仿真需要耗费大量的时间;介绍了一种基于反馈的SRAM接口时序验证的方法,将FPGA输入输出连接成一个回路,验证结果表明,与动态仿真验证相比,该种静态时序验证方法可以较早、快速、精确定位FPGA接口时序设计存在的问题;缩短了验证时间,提高了验证效率、准确性和覆盖率。FPGA verification has attracted much attention as an important means of FPGA product function and reliability.Verification of interface timing is usually done by post-layout simulation,but simulation after layout and routing takes a lot of time.Introduces a method of timing verification of SRAM interface based on feedback constraint,which links the input and output of FPGA,the verification results show that compared with dynamic simulation,this static timing verification method can locate the problems in timing design of FPGA interface earlier,faster and more accurately.It shortens the verification time and improves the verification efficiency and coverage.

关 键 词：FPGA 静态时序分析 SRAM 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]