杨文强
- 作品数：2 被引量：4H指数：2
- 供职机构：中国空间技术研究院更多>>
- 相关领域：航空宇航科学技术电子电信更多>>
- 等效性验证工具进行大规模FPGA验证探讨被引量：2
- 2011年
- 文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议。
- 杨文强门永平丁宗杰
- 关键词：FPGA形式化验证
- 一种基于热分析的FPGA时序分析方法被引量：2
- 2019年
- FPGA的实际工作温度是决定FPGA时序分析可靠性的决定因素。为了克服FPGA结温难以获取的问题,充分保证FPGA时序分析的可靠性,文章提出了一种基于热分析的FPGA时序分析方法。该方法通过对整机设备内热环境分析和建模来获取FPGA的实际工作温度,在此基础上进行FPGA时序分析和温度余量分析,准确获取FPGA时序信息。该方法包含热分析和建模、FPGA时序温度参数获取、FPGA时序分析、温度余量调整等4个过程。文章还结合具体应用,对该方法进行了过程说明和应用结果分析。通过该文提出的基于热分析的FPGA时序分析方法,可以准确计算获取FPGA器件的实际结温,并在此基础上开展时序分析,从而有效保证了FPGA时序分析的准确性和可靠性。
- 陈锐门永平杨文强
- 关键词：热分析温度FPGA
