国家自然科学基金(90207002)
- 作品数：78 被引量：359H指数：9
- 相关作者：李晓维严晓浪葛海通徐勇军杨军更多>>
- 相关机构：中国科学院浙江大学复旦大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术军事更多>>
- 芯片的验证分析及测试流程优化技术
- 本文针对个款采用0.18微米工艺流片的高性能通用处理器芯片进行了失效分析,并提出了一种针对失效分析结果的测试流程优化算法。文章首先分析了不同测试项目对于该款处理器失效的发现能力,并得出一些结论.芯片失效分析的信息可以被整...
- 韩银和李晓维罗飞茵林建京陈宇川朱小龙
- 关键词：动态规划算法启发式搜索算法
- 文献传递
- 一种形式化验证方法:模型检验被引量：24
- 2006年
- 模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用.文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术.
- 杨军葛海通郑飞君严晓浪
- 关键词：KRIPKE结构固定点符号模型检验
- 基于混合遗传算法的RTL激励生成方法
- 寄存器传输级（简称RTL）描述是目前应用最广泛的电路设计描述形式之一。在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量数目过多,质量不高等问题。本文充分考虑影响算法效率的各...
- 鲁巍杨修涛李晓维
- 关键词：混合遗传算法
- 文献传递
- 软件故障暴露率的计算方法被引量：8
- 2003年
- 软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。
- 宫云战高文玲李晓维
- 关键词：软件测试可靠性军用软件
- 结合高级正向推理过程的可满足性问题解决器被引量：4
- 2005年
- 提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge-mann and Loveland)算法和作为高级推理技术之一的失败性文字检查(FLD,FailedLiteral Detection)技术.在失败性文字检查技术中,又提出了动态筛选方法,它包含了两条规则:内部和外部筛选.在保证能在每个决策层上发现大部分失败性文字的同时,降低了失败性文字检查所测试的文字数目及相应的计算时间.不同于其他类型的预定义的删除标准,在这一方法中文字的删除是动态的,从这点上讲,文中的失败性文字检查算法可以适应不同类型的测试基准实例.许多不必要的测试可以被避免,因而提高了失败性文字检查的计算速度.为了进一步提高失败性文字检查的效率,故此还增加了其他静态的测试约束.实验表明,经过优化后的失败性文字检查算法的效率明显高于其他的高级正向推理技术.
- 丁敏唐璞山周电
- 关键词：可满足性决策层中文字删除
- 设计规则驱动的多层布线算法被引量：2
- 2005年
- 迷宫算法是集成电路两端线网优化布线问题的经典算法。多层布线受复杂版图设计规则约束,简单直接应用迷宫布线算法,或者无法获得优化的结果,或者无法满足设计规则。文章分析了迷宫算法特性与局限,提出基于群组图的多层迷宫算法,圆满地解决了上述问题。
- 竺红卫
- 关键词：多层布线
- 组合电路功耗敏感性统计分析被引量：5
- 2005年
- 功耗已经成为集成电路设计的一个十分重要的问题 对于一个给定的电路 ,其功耗是与输入密切相关的 ,即对于不同的输入向量集 ,同一电路可能会有不同的功耗 功耗敏感性定义了由于原始输入的改变而引起的功耗变化特性 文中给出了基于信号置 1概率和跳变率传输特性的功耗敏感性分析方法 ,并详细阐述了它在无时延动态功耗估计和静态功耗估计中的应用 实验结果表明 ,它在保证了较好精度的条件下 ,大大降低了估计时间 ;另外 ,这一方法还可以应用于时延动态功耗估计、在特定向量集上的动态及静态功耗估计 。
- 徐勇军韩银和李华伟李晓维
- 关键词：功耗估计
- 结合二叉判决图和布尔可满足性的等价性验证算法被引量：9
- 2004年
- 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 .
- 严晓浪郑飞君葛海通杨军
- 关键词：等价性验证
- 基于对平衡的SOC测试调度算法
- 随着越来越多的芯片设计采用已经过验证的IP（Intellectual Property,IP）芯核组建系统芯片,芯片的测试的复杂度大大提高,导致需要更长的时间完成系统芯片的测试。不同于以往基于单个芯核扫描链平衡的调度技术...
- 胡瑜韩银和李华伟吕涛李晓维
- 关键词：测试调度系统芯片粒子群优化算法
- 文献传递
- 提取不可满足问题核
- 自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾...
- 邵明李光辉李晓维
- 文献传递
