首页> 中文期刊> 《软件导刊》 >基于FPGA 的集成电路形式化验证加速

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件导刊》 |2015年第4期|52-54|共3页
作者
丁广泓; 吴丽佳;
展开▼
作者单位

广西民族大学信息科学与工程学院;

广西南宁530006;

广西民族大学信息科学与工程学院;

广西南宁530006;

展开▼
原文格式 PDF
正文语种 chi
中图分类总体结构、系统结构;
关键词
形式化方法; 集成电路验证; OpenCoho; FPGA;

相似文献

中文文献
外文文献
专利

1. 基于FPGA 的集成电路形式化验证加速 [J] . 丁广泓 ,吴丽佳 . 软件导刊 . 2015,第004期
2. 集成电路形式化验证方法研究 [J] . 王彦本 . 电子科技 . 2008,第008期
3. 基于FPGA的集成电路测试系统设计探讨 [J] . 潘慧峰 . 电子测试 . 2017,第022期
4. 基于FPGA的集成电路测试系统设计 [J] . 李妍臻 ,李烨 ,刘海 . 电子世界 . 2013,第007期
5. 基于FPGA的自动相机聚焦电机伺服控制系统集成电路(IC)设计与实现 [J] . 陈刚 ,王洪诚 ,王钰涵 . 微电机 . 2012,第007期
6. 基于加速退化数据的集成电路可靠性评估 [C] . 王超 ,李凌 ,胡圣 . 2013年航天可靠性学术交流会 . 2013
7. 基于FPGA的集成电路自动测试系统研究 [A] . 田强 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号