基于SAT的电路错误定位方法研究进展

来源 :国防科技大学学报 | 被引量 : 0次 | 上传用户:easyJMS
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。
其他文献
你遇到过奇怪的事情吗?奇怪的事情啊,我天天都遇到。我奇怪得不得了,为什么冬天那么冷,夏天那么热;我奇怪得不得了,为什么太阳会从东边升起;我奇怪得不得了,为什么黑黑的土地
期刊
幼儿教学的过程中教师的语言表达水平是学生学习的重要媒介,幼儿园的孩子们正处在语言学习的敏感期,因此,幼儿园老师在教育过程中所使用的语言是影响孩子们学习与成长的重要
在基于SAR回波的数据处理中,多普勒调频率具有很高的估计精度且对场景的依赖性很小,可以更广泛地用于自聚焦处理。基于多普勒调频率参数估计,针对回波包络及相位分别提出了误差
<正>1 暑温(痿证)乔某,男,12岁,1983年8月16日突然高热,体温41.2℃,即来我院治疗,经补液、抗感染、解热、物理降温,体温持续不退.7日后下肢痿软,邀余诊.身灼热,皮毛枯燥,心烦
融合乘加指令加速快速傅里叶变换计算的向量化方法,通过变换快速傅里叶变换的蝶形单元运算流程,将传统计算方式中独立的乘法和加法操作组合成次数更少的融合乘加操作,使得时间抽
本文基于群体动力学理论,将学生在高校班集体环境中,学习心理适应过程分为四个阶段,即适应期、融入期、平衡期与脱离期,并针对高校班集体如何提高群体动力以促进大学生学业成
科学技术是第一生产力,贵州2009年启动建设省现代农业产业技术体系,为相关优势特色产业发展提供了强有力的科技支撑,推动了产业发展和产业科技进步。本文总结了贵州现代农业
以陇南市为研究对象,提出3类要素13个指标所组成的区域特色农业评价指标;运用熵权法对各指标进行客观赋值,构建了基于熵权了TOPSIS的区域特色农业发展水平综合评价模型。
“互联网+”是指利用信息通信技术以及互联网平台,整合各种资源,推动互联网与各产业深度融合创新发展的新业态。网络购物及购物平台就是在互联网背景下催生的买卖交易平台。
目的探讨实验性精索静脉曲张(VC)对大鼠前列腺氧化应激作用的影响。方法雄性Wistar大鼠24只建立左侧VC模型作为实验组,18只行假手术作为对照组,手术后4、8和16周取前列腺,测