咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 建筑学
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
  • 1 篇 艺术学
    • 1 篇 设计学（可授艺术学...

主题

  • 2 篇 不确定位
  • 1 篇 漏电流
  • 1 篇 扫描切片
  • 1 篇 传感器网络
  • 1 篇 遗传算法
  • 1 篇 布尔可满足性问题
  • 1 篇 前像计算
  • 1 篇 soc测试
  • 1 篇 形式验证
  • 1 篇 时间同步
  • 1 篇 时钟同步
  • 1 篇 芯核包装电路
  • 1 篇 自动化测试激励生...
  • 1 篇 无界模型检验

机构

  • 3 篇 中国科学院计算技...
  • 3 篇 合肥工业大学
  • 1 篇 中国科学院计算技...
  • 1 篇 西安交通大学
  • 1 篇 中国科学院计算技...
  • 1 篇 中国科学院计算机...

作者

  • 4 篇 李晓维
  • 3 篇 li xiaowei
  • 2 篇 张佑生
  • 2 篇 wang wei
  • 2 篇 王伟
  • 2 篇 韩银和
  • 1 篇 lu tao
  • 1 篇 han yin-he
  • 1 篇 张浩
  • 1 篇 gu chunjiang
  • 1 篇 zhao yang
  • 1 篇 李华伟
  • 1 篇 谷春江
  • 1 篇 zhang you-sheng
  • 1 篇 li huawei
  • 1 篇 liu lingyi
  • 1 篇 zhang yousheng
  • 1 篇 吕涛
  • 1 篇 徐朝农
  • 1 篇 徐勇军

语言

  • 4 篇 中文
检索条件"机构=中国科学院计算技术研究所计算机先进测试技术实验室北京100080"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
结合ATPG和SAT的无界模型检验前像计算方法
收藏
分享
引用
计算机辅助设计与图形学学报 2007年 第3期19卷 376-380页
作者： 刘领一 赵阳 吕涛 李华伟 李晓维 中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所计算机先进测试技术实验室北京100080中国科学院研究生院北京100049 中国科学院计算技术研究所计算机先进测试技术实验室北京100080
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 详细信息
来源： 评论
SoC测试中低成本、低功耗的芯核包装方法
收藏
分享
引用
计算机辅助设计与图形学学报 2006年 第9期18卷 1397-1402页
作者： 王伟 韩银和 胡瑜 李晓维 张佑生 合肥工业大学计算机与信息学院 合肥230009 中国科学院计算技术研究所先进测试技术实验室 北京100080
提出一种SoC测试中新颖的并行芯核包装方法(parallel core wrapper design,pCWD),该包装方法利用扫描切片重叠这一特点,通过缩短包装扫描链长度来减少测试功耗和测试时间.为了进一步减少测试时间,还提出了一种测试向量扫描切片划分和赋... 详细信息
来源： 评论
基于测试向量中不确定位的漏电流优化技术
收藏
分享
引用
电子学报 2006年 第2期34卷 282-286页
作者： 王伟 韩银和 李晓维 张佑生 合肥工业大学计算机与信息学院 安徽合肥230009 中国科学院计算技术研究所先进测试技术实验室 北京100080
众所周知,CMO S电路测试时由漏电流引起的漏电流功耗在测试功耗中处于重要地位.降低测试时的漏电流对于延长需要周期性自测试的便携式系统电池寿命、提高测试的可靠性和降低测试成本都至关重要.文章首先分析了漏电流的组成,和与之相关... 详细信息
来源： 评论
无线传感器网络的广播时间同步算法
收藏
分享
引用
计算机辅助设计与图形学学报 2006年 第9期18卷 1432-1437页
作者： 谷春江 徐朝农 张浩 徐勇军 李晓维 西安交通大学电气工程及其自动化学院 西安710049 合肥工业大学计算机与信息学院 合肥230009 中国科学院计算技术研究所先进测试技术实验室 北京100080
基于包交换机制,利用无线信道的广播特性和捎带技术减少同步报文个数;对包时间信息进行缓存并采用最小方差线性拟合方法平滑同步误差抖动.模拟结果表明,在Mica2上单跳平均同步精度达到约57μs.最后与类似算法进行了性能比较.
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件