首页 | 本学科首页   官方微博 | 高级检索  
     

基于SAT的电路错误定位方法研究进展
作者姓名:张建民  黎铁军  张峻  李思昆
作者单位:国防科技大学 计算机学院,国防科技大学 计算机学院,国防科技大学 计算机学院,国防科技大学 计算机学院
基金项目:国家自然科学基金项目(面上项目,重点项目,重大项目);国家高技术研究发展计划(863计划)
摘    要:随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。

关 键 词:形式化验证  错误定位  布尔可满足性  可满足性模
收稿时间:2013-06-18
本文献已被 CNKI 等数据库收录!
点击此处可从《国防科技大学学报》浏览原始摘要信息
点击此处可从《国防科技大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号