|
|||||
|
|
| 基于FPGA的集成电路形式化验证加速 | |
| 引用本文： | 丁广泓,吴丽佳.基于FPGA的集成电路形式化验证加速[J].教育技术导刊,2015,14(4):52-54. |
| 作者姓名： | 丁广泓 吴丽佳 |
| 作者单位： | 广西民族大学 信息科学与工程学院，广西 南宁 530006 |
| 摘 要： | OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法，探讨环形振荡器电路有效性验证，通过仿真说明该方法的可行性和意义。实验结果表明，利用该方法平均验证速度提高了约10倍。 |
| 关 键 词： | 形式化方法 集成电路验证 OpenCoho FPGA |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 | |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 | |