鲁巍
- 作品数：20 被引量：11H指数：3
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金中国科学院知识创新工程重要方向项目国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 存储器内建自测设计与分析
- 作为可测性设计的一种,MBIST（Memory Built-in Self-test）是在电路内部置入测试电路以对Memory进行测试,它的好处是可以节省测试时间;减少测试向量的存放空间;可以很好地降低测试成本。本文基于...
- 杨修涛鲁巍李晓维
- 关键词：可测性设计
- 文献传递
- 基于可观测性代码覆盖准则的激励生成方法
- 本文首先提出一种可观测性信息的表征方式.在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为启发式信息,生成模拟激励,并在算法的执行过程中,动态地沿控制链回退进行未观测代码分布的再计算,指导...
- 鲁巍吕涛杨修涛李晓维
- 关键词：集成电路设计
- 文献传递
- 模拟验证中的激励产生与覆盖评估
- 集成电路设计验证是指在设计的过程中判别设计规范和实现之间是否一致。据统计，目前在大规模集成电路的设计流程中，设计验证的时间已经占到整个设计周期的一半以上。模拟验证作为一种重要的设计验证方法，其工作量通常会占据整个验证工作...
- 鲁巍
- 关键词：集成电路设计规范电路设计
- 文献传递
- 时序电路状态覆盖向量的遗传方法筛选被引量：1
- 2006年
- 传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较·
- 杨修涛鲁巍李晓维
- 关键词：遗传算法测试向量生成
- 基于混合遗传算法的RTL激励生成方法
- 寄存器传输级（简称RTL）描述是目前应用最广泛的电路设计描述形式之一。在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量数目过多,质量不高等问题。本文充分考虑影响算法效率的各...
- 鲁巍杨修涛李晓维
- 关键词：混合遗传算法
- 文献传递
- 基于JTAG标准的边界扫描结构在一款通用CPU中的设计
- 边界扫描技术是一种重要的可测性设计(DFT)技术,采用该技术不仅可以方便地测试芯片或PCB的逻辑功能,还可以测试IC或PCB之间的连接是否存在故障.边界扫描设计已逐渐成为芯片设计中不可或缺的部分,IEEE为其制定了相关标...
- 鲁巍杨修涛李晓维
- 关键词：可测性设计CPU
- 文献传递
- RTL可观测性语句覆盖评估方法被引量：5
- 2006年
- 针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.
- 鲁巍吕涛杨修涛李晓维
- 关键词：可观测性
- 考虑内部分枝的状态覆盖方法
- 本文提出一种能兼顾状态内分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝.从而对原先的状态转换进行扩展,使得用传统的状态测试方法能够覆盖到状态内部的分枝.
- 杨修涛鲁巍李华伟李晓维
- 关键词：集成电路设计软件测试
- 文献传递
- 基于JTAG标准的边界扫描结构在一款通用CPU中的设计
- 边界扫描技术是一种重要的可测性设计（DFT）技术,采用该技术不仅可以方便地测试芯片或PCB的逻辑功能,还可以测试IC或PCB之间的连接是否存在故障。边界扫描设计已逐渐成为芯片设计中不可或缺的部分,IEEE为其制定了相关标...
- 鲁巍杨修涛李晓维
- 关键词：可测性设计
- 文献传递
- 考虑内部分枝的状态覆盖方法
- 本文提出一种能兼顾状态内分枝的状态覆盖方法。在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝。从而对原先的状态转换进行扩展,使得用传统的状态测试方法能够覆盖到状态内部的分枝。
- 杨修涛鲁巍李华伟李晓维
- 文献传递
