国家自然科学基金(60373113)
- 作品数：12 被引量：10H指数：2
- 相关作者：闫炜吴尽昭高新岩谢瑞霞曾琼更多>>
- 相关机构：中国科学院成都计算机应用研究所临沂师范学院电子科技大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信理学更多>>
- 组合电路中逻辑错误诊断方法研究被引量：1
- 2008年
- 介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果。
- 齐芳吴尽昭闫炜徐德启
- 关键词：可满足性
- 非经典切片技术及其在形式验证中的应用综述
- 2007年
- 切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发突出。简要地介绍了切片技术思想的起源、发展过程,并着重介绍非经典的计算切片和证明切片技术及其在验证领域的应用。
- 高新岩吴尽昭闫炜周宁
- 关键词：程序切片
- 利用FAN算法进行组合电路的等价性检验
- 2006年
- 讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
- 曾琼
- 关键词：等价性检验ATPG
- 基于符号模拟和变量划分的SAT算法被引量：3
- 2008年
- 针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅对那些无法判断的子集,赋以符号值,从而限定了赋予符号值的变量范围,即可减少算法的回溯次数,又能降低内存占用率。理论及实验结果均证明,该算法是合理且有效的。
- 闫炜吴尽昭高新岩
- 关键词：SAT合取范式
- 基于压缩域显著点的图像检索方法被引量：2
- 2005年
- 给出了基于DCT压缩域显著点的快速图像检索方法,该方法直接利用少量DCT非零系数快速计算图像显著点,不需要完全解压缩,降低了计算复杂度,并且具有较强的鲁棒性。实验结果表明,基于显著点提取的图像特征表征能力强,适于图像检索。
- 张问银聂真理
- 关键词：压缩域图像检索离散余弦变换
- 符号模拟被引量：2
- 2007年
- 符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出端得到由这些初始符号变量组成的布尔表达式,并判断其是否具有所期望的特征。该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题,并对消除该问题的两种技术:近似值法和参数方法,进行了讨论。介绍了具有一定自动机处理能力的符号轨迹评价方法。
- 闫炜吴尽昭高新岩
- 非经典切片优化的同步运行时检验方法
- 2009年
- 利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高。
- 高新岩吴尽昭乔瑞闫炜
- 基于压缩域特征点的快速图像检索被引量：1
- 2006年
- 给出了基于DCT压缩域特征点的快速图像检索方法,该方法直接利用少量DCT非零系数快速计算图像特征点,不需要完全解压缩,大大降低了计算复杂度,并且具有较强的鲁棒性.实验结果表明,基于特征点提取的图像特征表征能力强,适于图像检索.
- 谢瑞霞
- 关键词：压缩域图像检索DCT
- 基于符号模拟的电路中错误诊断方法研究
- 2009年
- 错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断。可疑度越高的区域,其作为错误候选者的可能性越大。该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的。
- 齐芳吴尽昭
- 组合电路等价性检验方法研究
- 2007年
- 分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
- 曾琼闫炜
- 关键词：等价性检验组合电路二叉判定图
