基于SAT的电路错误定位方法研究进展 |
| |
作者姓名: | 张建民 黎铁军 张峻 李思昆 |
| |
作者单位: | 国防科技大学 计算机学院,国防科技大学 计算机学院,国防科技大学 计算机学院,国防科技大学 计算机学院 |
| |
基金项目: | 国家自然科学基金项目(面上项目,重点项目,重大项目);国家高技术研究发展计划(863计划) |
| |
摘 要: | 随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。
|
关 键 词: | 形式化验证 错误定位 布尔可满足性 可满足性模 |
收稿时间: | 2013-06-18 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|