国家重点基础研究发展计划(2005CB321605)
- 作品数：14 被引量：39H指数：3
- 相关作者：李晓维李华伟边计年吕涛赵阳更多>>
- 相关机构：中国科学院中国科学院研究生院清华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于响应分块相容的测试数据编码压缩方案被引量：3
- 2008年
- 提出一种测试数据压缩方案,利用测试向量与扫描链中响应数据的分块相容来增加被编码测试向量中的无关位,降低了线性反馈移位寄存器(LFSR)编码种子的度数,且不必增加额外的测试向量,最终达到压缩测试数据的目的.该方案的硬件解压结构仅需一个LFSR和简单的控制电路.实验结果表明,与其他压缩方法,如基于部分向量切分的LFSR重新播种方法、混合码方案和FDR码方案等相比,该方案在压缩效率和硬件开销上都有明显优势.
- 叶益群梁华国詹凯华
- 关键词：测试数据压缩
- 结合ATPG和SAT的无界模型检验前像计算方法被引量：3
- 2007年
- 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.
- 刘领一赵阳吕涛李华伟李晓维
- 基于集束式整数线性规划模型的专用指令集自动定制被引量：2
- 2007年
- 提出集束式整数线性规划形式化模型,利用指令间的功能依赖性解决专用指令集处理器中指令集自动定制的指数性空间问题.在此基础上,针对其前端和后端分别提出了相应的指令定制实现策略.实验结果表明,该指令定制方法可以有效地实现专用指令集的自动设计,并使最终处理器的运算性能得到优化.
- 赵康边计年董社勤
- 关键词：设计自动化专用指令集处理器
- SOC总线串扰的精简MT测试集
- 在超深亚微米工艺和GHZ的时钟频率下,长互连线之间的串扰现象严重,影响VLSI系统的整体性能。研究人员提出了MT故障模型,这种模型同时考虑了耦合电容和电感的影响,故障覆盖比较全面,但是存在严重的向量冗余。本文通过分析MT...
- 张颖李华伟李晓维胡瑜
- 关键词：测试向量
- 文献传递
- 无界模型检验中融合电路信息的SAT算法研究
- 2009年
- 针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结构中保存电路的互连信息,在搜索过程中更早地识别可满足解,减少不必要的搜索.其次,文中提出了在CNF结构上的状态变量赋值精简方法,摆脱了以往基于SAT的无界模型检验中这一步骤对门级电路结构的依赖.实验数据表明,利用文中方法进行前像计算能够取得明显的加速.同时,文章比较了两种搜索顺序在多时帧搜索中的效果.实验结果表明利用文中方法可以验证传统模型检验方法难以验证的复杂电路属性.
- 赵阳吕涛李华伟李晓维
- 面向最大串扰噪声的测试生成方法被引量：2
- 2009年
- 随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.
- 张旻晋李华伟李晓维
- 关键词：串扰集成电路测试
- SoC总线串扰的精简MT测试集被引量：3
- 2009年
- 多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销.
- 张颖李华伟李晓维胡瑜
- 基于卷积编码的SOC测试响应压缩研究
- 2006年
- 提出一种单输出压缩方法.首先提出了码率为n/(n?1)、距离为3的卷积码的设计规则,利用这些规则可得到卷积码的校验矩阵,该校验矩阵的实现电路即是能够提供单输出压缩的响应压缩电路.所设计的压缩电路可避免2个和任意奇数个错误位的混淆、避免一个未知位(X位)对特征的掩盖.利用概率论分析了未知位掩盖效应.如果未知位分布具有聚簇特征,那么提出的多重量校验矩阵设计算法能够大大降低未知位的掩盖效应.最后用一些实验数据验证了所提出的压缩电路能够提供较强的未知位容忍能力和非常低的错误位混淆率.
- 韩银和李华伟李晓维AnshumanChandra
- 关键词：SOC测试卷积码
- 基于CLP模型的HDL设计可观测性分析
- 2009年
- 为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以生成更有效的测试向量,使得特定语句上的错误能够被传播到输出,加快模拟验证发现bug的过程;另一方面可以识别出不可观测的语句,避免盲目追求高覆盖率,节约模拟验证的资源.
- 赵阳吕涛李华伟李晓维
- 关键词：可观测性
- 片上系统设计中事务级建模技术综述被引量：9
- 2007年
- 随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.
- 童琨边计年
- 关键词：片上系统事务级建模
