×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技... [107]
信息技术快报 [17]
作者
李晓维 [124]
李华伟 [44]
韩银和 [37]
徐勇军 [25]
胡瑜 [23]
吕涛 [15]
更多...
文献类型
期刊论文 [124]
发表日期
2019 [1]
2018 [2]
2017 [2]
2016 [2]
2015 [2]
2014 [3]
更多...
语种
英语 [66]
中文 [58]
出处
计算机辅助设计与图... [42]
信息技术快报 [17]
计算机研究与发展 [17]
计算机学报 [10]
计算机工程 [8]
微电子学与计算机 [7]
更多...
资助项目
收录类别
其他 [62]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共124条,第1-20条
帮助
限定条件
作者:李晓维
第一作者
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
应用Variable-Tail编码压缩的测试资源划分方法
期刊论文
电子学报, 2004, 卷号: 32.0, 期号: 008, 页码: 1346
作者:
韩银和
;
李晓维
;
徐勇军
;
李华伟
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
Variable-Tail编码
Golomb编码
可适应性
测试模式
诊断模式
基于模拟的验证技术在CPU设计中的应用
期刊论文
同济大学学报:自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1257
作者:
吕涛
;
李华伟
;
李晓维
;
樊建平
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
验证技术
CPU
设计验证
模拟
测试矢量自动产生
覆盖率
设计方法
芯片设计
基于增量可满足性的等价性检验方法
期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者:
李光辉
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
增量可满足性
等价性检验
组合电路
形式验证
数字集成电路
等价结点
一个适于形式验证的ATPG引擎
期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者:
李光辉
;
邵明
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
组合电路
测试产生
形式验证
二叉判决图
布尔可满足性
面向存储器核的内建自测试
期刊论文
计算机工程与科学, 2005, 卷号: 27.0, 期号: 004, 页码: 40
作者:
檀彦卓
;
徐勇军
;
韩银和
;
李华伟
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
嵌入式随机存储器
测试
存储器
存储器核
自测试技术
一种遵循IEEE 1149.1标准的可测试性设计结构
期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 005, 页码: 23
作者:
尹志刚
;
李华伟
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
IEEE1149.1标准
国际标准
可测试性设计结构
时序电路
机器学习算法可近似性的量化评估分析
期刊论文
计算机研究与发展, 2017, 卷号: 54.0, 期号: 006, 页码: 1337
作者:
江树浩
;
鄢贵海
;
李家军
;
卢文岩
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
监督机器学习算法
近似计算
可近似性
能耗优化
采用部分增强型扫描提高跳变时延故障覆盖率的触发器选择方法
期刊论文
计算机辅助设计与图形学学报, 2010, 卷号: 000, 期号: 009, 页码: 1428
作者:
裴颂伟
;
李华伟
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
时延测试
跳变时延故障
增强型扫描
故障覆盖率
触发器选择
模拟验证中的覆盖评估准则
期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 40
作者:
吕涛
;
李晓维
;
樊建平
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
模拟验证
覆盖评估准则
电路结构
可观测性
有限自动机
错误模型
集成电路
考虑工作负载影响的电路老化预测方法
期刊论文
计算机辅助设计与图形学学报, 2010, 卷号: 000, 期号: 012, 页码: 2242
作者:
靳松
;
韩银和
;
李华伟
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
负偏置温度不稳定性
电路老化
占空比
非线性优化
面向视频应用中相变存储器的双阈值近似写方法
期刊论文
计算机辅助设计与图形学学报, 2014, 卷号: 26.0, 期号: 005, 页码: 835
作者:
方运潭
;
李华伟
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
相变存储器
差错容忍
近似写
数据比较写
采用关键路径漏电流变化分析的集成电路老化预测方法
期刊论文
计算机辅助设计与图形学学报, 2015, 卷号: 27.0, 期号: 002, 页码: 371
作者:
邱吉冰
;
韩银和
;
靳松
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
负偏置温度不稳定性
漏电流
老化
工艺偏差
时序敏感的3D IC绑定优化方法
期刊论文
计算机辅助设计与图形学学报, 2010, 卷号: 000, 期号: 011, 页码: 2029
作者:
王杰
;
张磊
;
李华伟
;
韩银和
;
李晓维
;
梁华国
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
3D
IC
绑定
时延测量
关键通路
成品率
面向3维片上网络的轻量级细粒度容错机制
期刊论文
计算机研究与发展, 2016, 卷号: 53.0, 期号: 002, 页码: 341
作者:
周君
;
李华伟
;
王天成
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
片上网络
3维mesh
细粒度
容错
路由机制
利用稀疏点云偏序关系的半监督单目图像深度估计
期刊论文
计算机辅助设计与图形学学报, 2019, 卷号: 31.0, 期号: 011, 页码: 2038
作者:
曾一鸣
;
胡瑜
;
韩银和
;
李晓维
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
深度估计
偏序关系
稀疏点云
组合逻辑中瞬时错误传播的频域分析方法
期刊论文
计算机辅助设计与图形学学报, 2008, 卷号: 20.0, 期号: 005, 页码: 605
作者:
雷韶华
;
韩银和
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
傅里叶变换
HSPICE
线性系统
非线性系统
基于混合遗传算法的RTL激励生成
期刊论文
小型微型计算机系统, 2006, 卷号: 27.0, 期号: 1.0, 页码: 80
作者:
鲁巍
;
杨修涛
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
混合遗传算法
激励生成
模拟
基于CTL的SOCIP核的测试技术
期刊论文
计算机工程与科学, 2005, 卷号: 27.0, 期号: 004, 页码: 43
作者:
吴明行
;
韩银和
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
核测试语言
CTL语言
SOCIP核
测试技术
程序语言
一种微处理器芯片的验证测试分析及应用
期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 009, 页码: 219
作者:
檀彦卓
;
韩银和
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
验证测试
生产测试
失效分析
可测试性设计
故障模型
无线网络节点的均匀性度量
期刊论文
高技术通讯, 2010, 卷号: 000, 期号: 005, 页码: 448
作者:
周全
;
朱红松
;
罗海勇
;
徐勇军
;
李晓维
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
无线传感器网络
均匀度
近似偏差
GVGUM