基于FPGA 的集成电路形式化验证加速

• 作者: 丁广泓 吴丽佳
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 形式化方法 集成电路验证 OpenCoho FPGA
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 52-54
• 页数: 3页
• 分类号: TP303
• 字数: 2901字
• 语种: 中文
• DOI: 10.11907/rjdk.151218

摘要

OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法，探讨环形振荡器电路有效性验证，通过仿真说明该方法的可行性和意义。实验结果表明，利用该方法平均验证速度提高了约10倍。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁广泓	广西民族大学信息科学与工程学院	2	3	1.0	1.0
2	吴丽佳	广西民族大学信息科学与工程学院	2	1	1.0	1.0