李立健

作品数：20被引量：39H指数：4
导出分析报告
供职机构：中国科学院自动化研究所更多>>
发文主题：内建自测试集成电路硬件开销三模BIST更多>>
发文领域：自动化与计算机技术电子电信轻工技术与工程农业科学更多>>
发文期刊：《微电子学与计算机》《计算机辅助设计与图形学学报》《计算机应用研究》《计算机工程》更多>>
所获基金：国家自然科学基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可编程器件的选择性双模冗余加固方法被引量：1
《计算机辅助设计与图形学学报》2016年第2期355-362,共8页郑美松 王子龙 涂吉 王骏也 李立健 
国家自然科学基金(61073035)
针对现有FPGA加固方法开销过大的问题,提出一种利用逻辑门对故障的屏蔽效应进行选择性加固的双模冗余方法.首先建立待加固电路的查找表结构模型,根据故障的传播概率按电路结构依次计算每个查找表的故障敏感度;然后将故障敏感度高的查找...
关键词：FPGA 容错 双模冗余 故障敏感度 
SRAM型FPGA的基于可观性度量的选择性三模冗余方法被引量：3
《计算机辅助设计与图形学学报》2015年第11期2184-2191,共8页王子龙 郑美松 涂吉 王骏也 李立健 
国家自然科学基金(61073035)
为了增强SRAM型FPGA抗单粒子翻转破坏的能力并减少硬件开销,提出一种面向查找表的基于可观性度量的选择性三模冗余方法.首先定义查找表发生单粒子翻转(SEU)故障的一种可观性概念,并结合概念给出理论计算公式;然后根据计算出的查找表可...
关键词：FPGA 三模冗余 单粒子翻转 可观性 MCNC 
BIST测试激励的聚类压缩方法被引量：2
《计算机辅助设计与图形学学报》2014年第6期983-990,共8页涂吉 王子龙 李立健 
国家自然科学基金(61073035)
测试激励压缩方案能减少内建自测试(BIST)电路的存储硬件开销,适合超大规模集成电路的测试.将聚类压缩与循环移位压缩和输入精简压缩巧妙结合,提出一种针对BIST的测试激励聚类压缩方法.首先将难测向量进行x方向输入精简;然后以贪心选择...
关键词：内建自测试 聚类压缩 贪心算法 输入精简 移位压缩 
一种BIST测试激励的聚类移位压缩方法
《计算机科学》2014年第5期33-36,共4页涂吉 王子龙 李立健 
国家自然科学基金项目(61073035)资助
提出一种针对内建自测试的测试激励聚类移位压缩方法。对难测故障的测试向量进行聚类压缩,将测试向量划分为若干类,每类内的向量相互之间最多只有一比特相异,从每类中只选取一个种子向量存储到ROM中。为了进一步提高测试向量压缩率,对...
关键词：聚类压缩 移位压缩 内建自测试 测试激励 
VLIW数字信号处理器64位可重构加法器的设计被引量：1
《计算机工程》2007年第16期29-31,34,共4页张志伟 马鸿 李立健 王东琳 
国家自然科学基金资助项目(60473032)
描述了一款适用于超长指令字数字信号处理器的64位加法器的设计。该加法器高度可重构,可以支持2个64位数据的加法运算、4个32位数据的加法运算、8个16位数据的加法运算以及16个8位数据的加法运算。它结合了Brent-Kung对数超前进位加法...
关键词：可重构加法器 Brent-Kung树 进位选择 功耗延时积 
浮点ALU中选择进位复合加法器的优化设计
《微计算机应用》2007年第3期278-281,共4页王桐 李立健 王东琳 
针对浮点ALU中加减运算要求同时计算sum和sum+1的特点,综合考虑延时和面积,采用选择进位结构设计复合加法器。给出了选择进位加法器延迟时间与分组方式的关系,以及最优化分组方法,将其应用于复合加法器的设计中,并用HSPICE在0.18?mCMOS...
关键词：复合加法器 选择进位 最优化分组 
一种降低DSP芯片总线功耗的设计方案
《计算机应用研究》2005年第10期74-76,79,共4页成嵩 王东琳 李立健 
国家自然科学基金资助项目(60473032)
介绍了一种低功耗总线设计方案,在设计方案中提出了一种新的编码算法,并将其与一种低功耗译码器结合来降低总线的功耗。试验中选取了一些常用的DSP算法,结果证明这种方法可以有效降低DSP处理器中数据总线和地址总线的功耗,平均可达到对...
关键词：SOC 总线 低功耗 
一种用于测试数据生成的动态程序切片算法被引量：6
《计算机应用》2005年第6期1445-1447,1450,共4页王雪莲 赵瑞莲 李立健 
国家自然科学基金资助项目(60473032);教育部科学技术重点项目(105018)
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
关键词：程序切片 测试数据生成 前向分析 动态程序切片算法 
一种新的布斯编码器结构被引量：5
《微电子学与计算机》2004年第5期73-75,共3页刘建军 王东琳 李立健 
针对传统乘法器中布斯编码器存在的问题,文章提出了一种新式布斯编码器结构。传统的布斯编码器采用3个编码信号,在处理不同的部分积时电路比较臃肿,新的结构采用四个编码信号,可以方便地实现乘法/乘累加切换,并且处理不同情况下的部分...
关键词：布斯编码器 乘法器 
用动态模拟方法实现C程序输入变量的取值分析
《装甲兵工程学院学报》2004年第2期9-12,共4页赵瑞莲  李立健  
程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入...
关键词：输入变量 取值分析 动态模拟 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部