| 基于FPGA的集成电路形式化验证加速 |
| 丁广泓;吴丽佳; |
| 关键词：形式化方法;集成电路验证;OpenCoho;FPGA |
| 主要内容：OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实 |
| 《软件导刊》 2015,14(04):52-54 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号