杨修涛

作品数：12被引量：9H指数：2
导出分析报告
供职机构：北京电子工程总体研究所更多>>
发文主题：可测性设计RTL可观测性通用CPU集成电路更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《系统仿真学报》《山东科技大学学报（自然科学版）》《计算机辅助设计与图形学学报》《小型微型计算机系统》更多>>
所获基金：国家自然科学基金中国科学院知识创新工程重要方向项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于需求的断言自动生成技术
《计算机工程》2016年第8期28-33,共6页杨修涛 迟鹏 杜宇坤 徐林伟 
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方...
关键词：断言自动生成系统 需求 验证方法 寄存器传输级 行为窗 
一种离散事件建模仿真语言系统研究被引量：1
《系统仿真学报》2015年第9期2015-2024,共10页迟鹏 杨修涛 侯宝存 
提出一种离散事件建模仿真语言系统,对该语言系统的编程模型、文本规范、仿真运行支撑、编译器及仿真应用分别进行了介绍。对于初级用户,其支持对仿真系统的直接描述,通过编写元素模型文本及复合模型文本的方式对仿真系统的模型及模型...
关键词：离散事件建模仿真语言 编程模型 文本规范 编译器 仿真引擎 
基于指令的数字信号处理器验证被引量：1
《计算机工程》2015年第9期97-102,共6页杨修涛 谷小秋 
针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,对这些指令进行两...
关键词：验证 数字信号处理器 数据相关 指令生成 覆盖率 自动生成 
覆盖状态内部分枝的测试向量生成被引量：1
《小型微型计算机系统》2006年第4期745-748,共4页杨修涛 鲁巍 李华伟 李晓维 
国家自然科学基金项目(90207002;60242001)资助
提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分枝.为了准确描述...
关键词：状态覆盖 分枝覆盖 测试向量生成 
集成电路高层故障模型评估方法
《计算机工程》2006年第4期228-229,232,共3页杨修涛 鲁巍 李晓维 
国家自然科学基金资助项目(90207002;60242001);中科院计算所基础研究基金资助项目(20036160)
给出了利用测试向量进行评估的基本理论方法,以及强对应集和弱对应集的定义及推论。按该方法,依不同模型生成测试向量,然后进行相互间的覆盖计算,以比较模型的优劣。最后对ITC99-benchmark电路进行实验,结果表明该方法是有效的。
关键词：模型评估 强对应集 弱对应集 
时序电路状态覆盖向量的遗传方法筛选被引量：1
《计算机辅助设计与图形学学报》2006年第2期251-256,共6页杨修涛 鲁巍 李晓维 
国家自然科学基金(90207002)
传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转...
关键词：静态状态转换 动态状态转换 遗传算法 测试向量生成 
集成电路高层故障模型间关系分析方法
《计算机研究与发展》2006年第2期350-355,共6页杨修涛 鲁巍 李晓维 
国家自然科学基金项目(90207002;60242001);中国科学院计算技术研究所基础研究基金项目(20036160)~~
集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模...
关键词：高层故障模型 固定型故障模型 统计 故障模型序列 
RTL可观测性语句覆盖评估方法被引量：3
《计算机辅助设计与图形学学报》2006年第1期62-68,共7页鲁巍 吕涛 杨修涛 李晓维 
国家自然科学基金(90207002;60576031);北京市重点科技项目(H02012014130);中国科学院计算技术研究所知识创新科研课题(20056340)
针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他...
关键词：可观测性 覆盖准则 模拟 
基于混合遗传算法的RTL激励生成被引量：1
《小型微型计算机系统》2006年第1期80-84,共5页鲁巍 杨修涛 李晓维 
国家自然科学基金项目(90207002)资助;北京市科技重点项目(H020120120130)资助.
寄存器传输级(RTL)描述是目前应用最广泛的电路设计描述形式.在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量过多,质量不高等问题.本文充分考虑影响算法效率的各种因素,在此基础上,提...
关键词：混合遗传算法 激励生成 模拟 
针对可观测性语句覆盖准则的RTL激励生成被引量：2
《计算机研究与发展》2005年第12期2169-2175,共7页鲁巍 吕涛 杨修涛 李晓维 
国家自然科学基金项目(90207002;60576031);北京市重点科技项目(H02012014130)
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表...
关键词：可观测性语句覆盖准则 激励生成 模拟 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部