作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

集成电路寄存器传输级故障模型与测试生成研究  CNKI文献

随着集成电路设计技术的发展,其相应的测试也变得十分重要。测试生成为测试过程中的一个重要环节。本文首先综述了当前基于集成电路寄存器传输级(Register Transfer Level,简称RTL)的测试生成方法和验证方法。在此基础...

杨修涛 导师:李晓维 中国科学院研究生院(计算技术研究所) 2006-03-10 博士论文

关键词: 集成电路 / 有限状态机 / 测试生成 / 寄存器传输级

下载(541)| 被引(0)

基于指令的数字信号处理器验证  CNKI文献

针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,...

杨修涛 谷小秋 《计算机工程》 2015年09期 期刊

关键词: 验证 / 数字信号处理器 / 数据相关 / 指令生成

下载(21)| 被引(1)

基于需求的断言自动生成技术  CNKI文献

基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通...

杨修涛 迟鹏... 《计算机工程》 2016年08期 期刊

关键词: 断言自动生成系统 / 需求 / 验证方法 / 寄存器传输级

下载(23)| 被引(0)

集成电路高层故障模型间关系分析方法  CNKI文献

集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故...

杨修涛 鲁巍... 《计算机研究与发展》 2006年02期 期刊

关键词: 高层故障模型 / 固定型故障模型 / 统计 / 故障模型序列

下载(112)| 被引(1)

覆盖状态内部分枝的测试向量生成  CNKI文献

提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分...

杨修涛 鲁巍... 《小型微型计算机系统》 2006年04期 期刊

关键词: 状态覆盖 / 分枝覆盖 / 测试向量生成

下载(64)| 被引(2)

时序电路状态覆盖向量的遗传方法筛选  CNKI文献

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导...

杨修涛 鲁巍... 《计算机辅助设计与图形学学报》 2006年02期 期刊

关键词: 静态状态转换 / 动态状态转换 / 遗传算法 / 测试向量生成

下载(60)| 被引(1)

集成电路高层故障模型评估方法  CNKI文献

给出了利用测试向量进行评估的基本理论方法,以及强对应集和弱对应集的定义及推论。按该方法,依不同模型生成测试向量,然后进行相互间的覆盖计算,以比较模型的优劣。最后对ITC99-benchmark电路进行实验,结果表明该方法...

杨修涛 鲁巍... 《计算机工程》 2006年04期 期刊

关键词: 模型评估 / 强对应集 / 弱对应集

下载(76)| 被引(1)

一种在聚类方法中处理符号属性的简易算法  CNKI文献

目前大多数聚类分析都是基于数学方法进行处理 ,但是对于关系空间中的符号属性处理却不太方便。尽管有许多其它非数学方法可以进行处理 ,但对于整个聚类分析来说需要单独处理。本文给出一种将符号属性转化为数值属性的...

杨修涛 《山东科技大学学报(自然科学版)》 2002年02期 期刊

关键词: 聚类 / 关键词 / 符号属性 / 频率

下载(33)| 被引(0)

一种离散事件建模仿真语言系统研究  CNKI文献

提出一种离散事件建模仿真语言系统,对该语言系统的编程模型、文本规范、仿真运行支撑、编译器及仿真应用分别进行了介绍。对于初级用户,其支持对仿真系统的直接描述,通过编写元素模型文本及复合模型文本的方式对仿真...

迟鹏 杨修涛... 《系统仿真学报》 2015年09期 期刊

关键词: 离散事件建模仿真语言 / 编程模型 / 文本规范 / 编译器

下载(106)| 被引(4)

基于JTAG标准的边界扫描在通用CPU中的设计  CNKI文献

剖析了JTAG标准的精髓,分析了其组成﹑功能与时序控制等关键技术,结合一款通用CPU的具体要求,给出了一种实现JTAG结构的具体方法,并介绍了其功能测试的方法。

鲁巍 杨修涛... 《计算机工程》 2004年19期 期刊

关键词: 边界扫描 / 可测性设计 / IEEE1149.1标准(JTAG)

下载(273)| 被引(11)

基于混合遗传算法的RTL激励生成  CNKI文献

寄存器传输级(RTL)描述是目前应用最广泛的电路设计描述形式.在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量过多,质量不高等问题.本文充分考虑影响算法效率的各种因...

鲁巍 杨修涛... 《小型微型计算机系统》 2006年01期 期刊

关键词: 混合遗传算法 / 激励生成 / 模拟

下载(81)| 被引(2)

存储器内建自测设计与分析  CNKI文献

作为可测性设计的一种,MBIST(Memory Built-in Self-test)是在电路内部置入测试电路以对Memory进行测试,它的好处是可以节省测试时间;减少测试向量的存放空间;可以很好地降低测试成本。本文基于一个实际项目介绍了有关...

杨修涛 鲁巍... 第十届全国容错计算学术会议论文集 2003-09-01 中国会议

关键词: 可测性设计 / 存储器内建自测 / 数据背景 / BIST控制器

下载(52)| 被引(1)

RTL可观测性语句覆盖评估方法  CNKI文献

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可...

鲁巍 吕涛... 《计算机辅助设计与图形学学报》 2006年01期 期刊

关键词: 可观测性 / 覆盖准则 / 模拟

下载(100)| 被引(12)

基于JTAG标准的边界扫描结构在一款通用CPU中的设计  CNKI文献

边界扫描技术是一种重要的可测性设计(DFT)技术,采用该技术不仅可以方便地测试芯片或PCB的逻辑功能,还可以测试IC或PCB之间的连接是否存在故障。边界扫描设计已逐渐成为芯片设计中不可或缺的部分,IEEE为其制定了相关标...

鲁巍 杨修涛... 第十届全国容错计算学术会议论文集 2003-09-01 中国会议

关键词: 边界扫描 / 可测性设计 / IEEE1149.1(JTAG)标准

下载(55)| 被引(0)

并行仿真引擎中非暂停动态变结构方法  CNKI文献

为了满足复杂变结构系统并行仿真的需求,我们开发了一套组件式并行仿真引擎系统,将其作为复杂系统建模仿真语言编程模型中仿真组件的运行支撑。在引擎核心算法部分提出的动态变结构支撑方法,基于可变端口的规范化模型...

迟鹏 杨修涛... 系统仿真技术及其应用(第16卷) 2015-08-09 中国会议

关键词: 复杂变结构系统 / 动态变结构 / 非暂停

下载(17)| 被引(0)

基于可观测性代码覆盖准则的激励生成方法  CNKI文献

本文首先提出一种可观测性信息的表征方式。在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为启发式信息,生成模拟激励,并在算法的执行过程中,动态地沿控制链回退进行未观测代码分...

鲁巍 吕涛... 全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集 2004-08-01 中国会议

关键词: 可观测性覆盖准则 / 激励生成 / 模拟

下载(25)| 被引(0)

针对可观测性语句覆盖准则的RTL激励生成  CNKI文献

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·...

鲁巍 吕涛... 《计算机研究与发展》 2005年12期 期刊

关键词: 可观测性语句覆盖准则 / 激励生成 / 模拟

下载(97)| 被引(7)

基于混合遗传算法的RTL激励生成方法  CNKI文献

寄存器传输级(简称RTL)描述是目前应用最广泛的电路设计描述形式之一。在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量数目过多,质量不高等问题。本文充分考虑影响算...

鲁巍 杨修涛... 第三届中国测试学术会议论文集 2004-10-01 中国会议

关键词: 混合遗传算法 / 激励生成 / 模拟

下载(13)| 被引(0)

考虑内部分枝的状态覆盖方法  CNKI文献

本文提出一种能兼顾状态内分枝的状态覆盖方法。在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝。从而对原先的状态转换进行扩展,使得用传统的状态测试方法能够覆盖到状态内部的分枝...

杨修涛 鲁巍... 全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集 2004-08-01 中国会议

关键词: 状态覆盖 / 分枝覆盖 / 测试产生

下载(11)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》