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

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

目标位置不确定性的图形描述

目标的观测和状态估计涉及目标的各种运动和属性数据,其中位置不确定性是最重要的性能指标.借鉴测绘学科中衡量点元位置不确定性的方法,分别用椭圆和椭球来表示二维目标和三维目标的位置误差散布的不确定性区域.从位置误差的协方差矩阵导出1-σ误差椭圆(球)参数,再由椭圆(球)的概率分布导出相应的95%圆(球)概率误差的半径.位置不确定性的图形描述为评价位置观测数据的质量提供了可视化的方法.     

回路控制遥测数据的注入仿真和输入序列的重建

分析了回路控制数学模型对遥测数据输入误差的响应和积累 ,构造了回路控制计算输入序列的误差补偿算法 ,并且证明了误差补偿算法的数值稳定性。