期刊文献+
共找到113篇文章
< 1 2 6 >
每页显示 20 50 100
用VIS验证微处理器PIC 被引量:2
1
作者 杜慧敏 刘建元 +1 位作者 韩俊刚 高德远 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第5期390-395,共6页
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC... 近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC设计部分电路的等价性 ,发现了一个设计错误并证明了 PIC中一些重要模块的特性 . 展开更多
关键词 微处理器 检验 VIS 二叉决策图 PIC
在线阅读 下载PDF
基于微指令覆盖的最小指令集测试算法 被引量:2
2
作者 张盛兵 高德远 樊晓桠 《计算机学报》 EI CSCD 北大核心 2000年第10期1083-1087,共5页
着重讨论了如何利用微处理器中的自测试设计来缩短功能测试序列的长度 .首先 ,依据指令的表示模型 ,将指令测试分成微指令序列和微指令执行两个测试层次 ,提出了一个基于微指令覆盖的最小指令集测试算法 ,只需检测指令集的一个子集就能... 着重讨论了如何利用微处理器中的自测试设计来缩短功能测试序列的长度 .首先 ,依据指令的表示模型 ,将指令测试分成微指令序列和微指令执行两个测试层次 ,提出了一个基于微指令覆盖的最小指令集测试算法 ,只需检测指令集的一个子集就能达到指令测试的目的 .然后 ,通过定义指令的测试代价和测试效率 ,提出了一个可以有效地选择最小测试指令集的方法 .最后 ,将算法应用于 NRS40 0 0微处理器的功能测试 ,仅为传统的全指令集测试序列的 37.7% . 展开更多
关键词 微处理器 功能测试 微指令 最小指令集测试算法
在线阅读 下载PDF
微处理器浮点运算功能的测试方法研究 被引量:3
3
作者 曲英杰 夏宏 王沁 《计算机工程与应用》 CSCD 北大核心 2001年第7期42-43,46,共3页
该文给出了一种微处理器浮点运算功能的测试方法,该方法的测试工作量少、测试时间短,而同时又具有较高的测试覆盖率。工程实践表明,该方法确实是一种可行的、有效的功能测试方法。
关键词 微处理器 功能测试 浮点运算 测试覆盖率 CPU 测试
在线阅读 下载PDF
微处理器在微区薄层电阻测试Mapping技术中的应用 被引量:2
4
作者 孙新宇 王鑫 +3 位作者 孙以材 孟庆浩 孙冰 李福林 《半导体技术》 CAS CSCD 北大核心 1998年第2期18-23,共6页
利用微区薄层电阻测试的一种斜置四探针新方法,将扩散微区薄层电阻测试结果绘成全片的灰度图,这种Mapping技术十分有利于评价材料的质量。在测试过程中应用微处理器,可立即数字显示相应的测量电压及微区的薄层电阻,加快了计... 利用微区薄层电阻测试的一种斜置四探针新方法,将扩散微区薄层电阻测试结果绘成全片的灰度图,这种Mapping技术十分有利于评价材料的质量。在测试过程中应用微处理器,可立即数字显示相应的测量电压及微区的薄层电阻,加快了计算速度并有利于控制探针的合适位置。 展开更多
关键词 微区薄层电阻 探针技术 微处理器 测试 IC
在线阅读 下载PDF
80C86单粒子效应实验研究 被引量:4
5
作者 陈晓华 贺朝会 王燕平 《原子能科学技术》 EI CAS CSCD 北大核心 2000年第4期344-346,共3页
介绍西北核技术研究所研制的 80C86单粒子效应测试系统的工作原理、实验装置及结果。
关键词 单粒子效应 闭锁 CPU 卫星 控制系统 故障监测
在线阅读 下载PDF
第5届高速切削国际学术会议
6
作者 刘战强 《国际学术动态》 2007年第3期56-56,F0003,共2页
2006年3月14~16日,在法国梅斯市(Metz,France)举办了第5届高速切削国际学术会议(5th International Conference On High Speed Machining)。参加会议的国家(地区)和代表情况:法国102人;沙特阿拉伯1人;西班牙13人;德国5人... 2006年3月14~16日,在法国梅斯市(Metz,France)举办了第5届高速切削国际学术会议(5th International Conference On High Speed Machining)。参加会议的国家(地区)和代表情况:法国102人;沙特阿拉伯1人;西班牙13人;德国5人;美国1人;葡萄牙2人;芬兰1人;波兰1人;捷克2人;澳大利亚1人;比利时3人;瑞士2人;日本2人;以色列1人;巴西2人;立陶宛1人;瑞典1人;阿尔及利亚2人;意大利1人;中国3人(含台湾地区1人)。 展开更多
关键词 国际学术会议 高速切削 SPEED 沙特阿拉伯 阿尔及利亚 HIGH 澳大利亚 台湾地区
在线阅读 下载PDF
CPU插入Tw状态的实时仿真
7
作者 鲁千红 《仪表技术》 1998年第6期27-28,共2页
用组合逻辑电路实现CPU插入T_W状态的功能,可用于通用ATE的改进,使总线周期仿真测试更完善.
关键词 CPU 通用ATE TW状态 实时仿真
在线阅读 下载PDF
计算机主板 RS-232 串行口故障排除 被引量:1
8
作者 杨方 欧阳斌林 果丽 《电测与仪表》 北大核心 1998年第3期51-51,13,共2页
本文针对当前计算机主板RS-232串行口的一些故障进行了分析并简要介绍故障排除的方法、步骤。
关键词 计算机 主板 串行口 故障排除
在线阅读 下载PDF
量子点探针技术用于肝癌、乳腺癌的分子靶向诊断研究
9
作者 陈创 陈良冬 +3 位作者 彭俊 刘佳 庞代文 李雁 《分析化学》 SCIE EI CAS CSCD 北大核心 2009年第A02期3-3,共1页
癌症是影响人类生存的重大疾病,分子靶向诊断与治疗在肿瘤诊断中发挥着重要作用,肿瘤标志物是分子靶向诊断与治疗的前提,在肿瘤诊断、预后判断、治疗选择及随访监测中均发挥了重要作用,但目前对肿瘤标志物诊断的敏感性有限且有效的... 癌症是影响人类生存的重大疾病,分子靶向诊断与治疗在肿瘤诊断中发挥着重要作用,肿瘤标志物是分子靶向诊断与治疗的前提,在肿瘤诊断、预后判断、治疗选择及随访监测中均发挥了重要作用,但目前对肿瘤标志物诊断的敏感性有限且有效的监测与临床应用缺乏,而使其临床应用价值受限,开发一种简单、灵敏的肿瘤标志物检测技术,建立更合理的肿瘤标志物监测应用平台, 展开更多
关键词 肿瘤诊断 探针技术 分子 量子点 乳腺癌 肿瘤标志物 肝癌 临床应用
在线阅读 下载PDF
基于边界扫描的微处理器功能测试算法 被引量:2
10
作者 邱峰 孟汉城 梁松海 《计算机自动测量与控制》 CSCD 1999年第3期35-39,共5页
针对实现了边界扫描可测试性设计的微处理器的特点, 提出了一种改进的微处理器功能测试算法。应用该算法我们成功地完成了32 位 R I S C 芯片 L S8532 A
关键词 微处理器 边界扫描 功能测试 算法
在线阅读 下载PDF
微处理器在微区薄层电阻测试Mapping技术中的应用
11
作者 孙新宇 孟庆浩 +2 位作者 孙以材 孙冰 李福林 《微电子技术》 1997年第3期55-62,共8页
本文利用微区薄层电阻测试的一种斜置四探针新方法,将扩散微区薄层电阻测试结果绘成全片的灰度图,这种微区薄层电阻测试Mapping技术十分有利于评价材料的质量。在测试过程中应用微处理器,可立即数字显示相应的测量电压及微区的薄层... 本文利用微区薄层电阻测试的一种斜置四探针新方法,将扩散微区薄层电阻测试结果绘成全片的灰度图,这种微区薄层电阻测试Mapping技术十分有利于评价材料的质量。在测试过程中应用微处理器,可立即数字显示相应的测量电压及微区的薄层电阻,加快了计算速度并有利于控制探针的合适位置。 展开更多
关键词 微区薄层电阻 探针技术 微处理器
在线阅读 下载PDF
微处理器软核的测试算法
12
作者 梁松海 周润德 《电子测试》 1999年第6期12-15,35,共5页
针对微处理器软核测试程序工艺无关性的要求,我们提出了一种新的寄存器传输级的微处理器功能测试算法。新算法扩展了微处理器的模型表示,简化了指令的故障类型,新的指令测试方法有效地降低了测试程序的复杂度。采用该测试算法我们为自... 针对微处理器软核测试程序工艺无关性的要求,我们提出了一种新的寄存器传输级的微处理器功能测试算法。新算法扩展了微处理器的模型表示,简化了指令的故障类型,新的指令测试方法有效地降低了测试程序的复杂度。采用该测试算法我们为自行设计的一个八位微处理器核成功地开发了测试程序。 展开更多
关键词 微处理器软核 设计 测试 算法
在线阅读 下载PDF
仪器监控单元系统的构成
13
作者 苏公雨 郭兴波 《电子产品世界》 1998年第60期76-77,74,共3页
随着高性能CPU、嵌入式计算机技术的发展以及外设性能的日趋提高,对测试仪器的性能、自动化程度要求越来越高,人机界面是否友好变得十分重要。模块化的结构以及功能齐全的开发系统给用户的设计提供了很大的方便,但出于系统成本的... 随着高性能CPU、嵌入式计算机技术的发展以及外设性能的日趋提高,对测试仪器的性能、自动化程度要求越来越高,人机界面是否友好变得十分重要。模块化的结构以及功能齐全的开发系统给用户的设计提供了很大的方便,但出于系统成本的考虑,如何能以较低的价格设计出满足... 展开更多
关键词 仪器 监控单元系统 测试 CPU
在线阅读 下载PDF
高速又安全:创见Ultra Speed 4GB CF闪存卡
14
《微型计算机》 北大核心 2006年第33期62-62,共1页
针对喜欢RAW无损照片压缩格式的单反数码相机用户.创见近期推出了容量为4GB的Ultra Speed CF闪存卡。RAW无损压缩格式照片大小通常在8MB左右.普通的256MB/512MB存储卡只能存储几十张照片.远远不能满足摄影爱好者的需要。创见这款4G... 针对喜欢RAW无损照片压缩格式的单反数码相机用户.创见近期推出了容量为4GB的Ultra Speed CF闪存卡。RAW无损压缩格式照片大小通常在8MB左右.普通的256MB/512MB存储卡只能存储几十张照片.远远不能满足摄影爱好者的需要。创见这款4GB闪存卡足以容纳500张这样的相片. 展开更多
关键词 SPEED 4GB 闪存卡 CF 安全 单反数码相机 压缩格式 摄影爱好者
在线阅读 下载PDF
巴斯夫推出创新产品
15
《汽车与配件》 北大核心 2006年第19期14-14,共1页
巴斯夫(BASF)在近日举行的中国国际橡塑展上推出其创新产品——Palatinol 10-P和Ultradur High Speed。其中Palatinolc 10-P是首次在亚洲展出.它是非敏感应用的新选择,可用于汽车内饰、电线电缆等。
关键词 巴斯夫 产品 创新 SPEED HIGH 汽车内饰 电线电缆
在线阅读 下载PDF
二十四款CPU散热戾设备评测报告
16
《微型计算机》 北大核心 2000年第18期26-33,共8页
关键词 CPU 散热设备 水冷散热器 涡轮风扇 测试
在线阅读 下载PDF
AM岂是池中物一遇风云便化龙——AMD Socket A架构处理器评测报告
17
《微型计算机》 北大核心 2000年第13期32-35,共4页
关键词 微处理器 芯片组 封装技术 SocketA架构 测试
在线阅读 下载PDF
Athlon新搭档:VIAApolloKX133主板抢鲜评测
18
《微型计算机》 北大核心 2000年第6期26-29,共4页
关键词 微处理器 ApolloKX133 芯片组 主板 测试
在线阅读 下载PDF
AMR MODEM是什么猫:AMR MODEM评测报告
19
《微型计算机》 北大核心 1999年第9期4-7,共4页
关键词 CPU 主板 AMR 调制解调器 测试
在线阅读 下载PDF
给电脑“健康”把脉通透了解主板监测系统
20
作者 拳头 《微型计算机》 北大核心 2001年第3期69-72,共4页
关键词 CPU 主板 监测系统 电脑
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部