国家自然科学基金(90207016)
- 作品数：16 被引量：108H指数：6
- 相关作者：杨士元王红邢建辉牛道恒成本茂更多>>
- 相关机构：清华大学中国人民解放军海军航空工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 时序电路测试向量的压缩被引量：5
- 2006年
- 时序电路测试生成算法产生的向量存在冗余。针对此问题提出一种压缩算法,减少测试序列的总长度,从而减少了仿真的时间和ATE设备的测试的时间,加速了测试的流程。实验结果表明,这种方法实现了较高的压缩效率,同时对测试序列的故障覆盖率和故障分辨率等参数影响很小。
- 于文忠牛道恒杨士元
- 关键词：时序电路ATE
- 基于复用的SOC测试集成和IEEEP1500标准被引量：15
- 2005年
- 以复用核测试为目标的测试策略是解决SOC测试问题的基础。IEEEP1500标准是国际上正在制订的嵌入式核测试标准,该标准旨在简化核测试信息的复用,提高SOC级测试集成的效率。文章介绍了截至目前为止P1500标准的制订情况,包括嵌入式核测试的体系结构、P1500的标准化目标,以及P1500的两级服从认证等。
- 吴超王红杨士元
- 关键词：片上系统
- 在形式验证和ATPG中的布尔可满足性问题被引量：2
- 2003年
- 介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率
- 邓雨春杨士元王红薛月菊
- 关键词：数字电路ATPG布尔可满足性
- 基于复用的SOC测试技术被引量：6
- 2004年
- 复用不仅是SOC设计思想的核心,也是解决SOC测试的基础。本文在分析SOC的基本概念和特点的基础上,从复用的角度对现有的SOC测试方案进行分析和综述,并探讨了亟待解决的问题。
- 王红邢建辉杨士元
- 关键词：SOC集成电路复用技术
- 构造SoC级透明路径的0-1规划方法
- 2007年
- 为解决如何以低面积开销为系统芯片(SoC)构建透明路径测试访问机制从而有效进行测试复用的问题,提出了SoC级透明路径构建方法,将透明路径构建问题转化为0-1规划问题,同时考虑测试调度,以缩短测试加载时间和减小面积开销为优化目标,利用IP模块内部的透明路径和模块间互连关系为每个待测模块构建测试访问通路。实验结果表明:该透明路径构建方法的面积开销比Ghosh方法降低50%,测试加载时间比Yoneda方法大大缩短,验证了该方法的有效性。
- 邢建辉王红杨士元成本茂
- 关键词：系统芯片测试访问机制整数规划
- 数字电路的层次化测试生成新趋势被引量：5
- 2003年
- 与传统的门级测试生成方法相比.数字电路的层次化测试生成方法采用层次化模块的方式,利用不同抽象级的电路信息,包括结构信息和功能信息,有利于加速测试生成,提高故障覆盖率.分析和综述了几类主要的层次化测试生成算法:预先生成低层模块测试法、模块在约束下直接生成全局测试法、高层模块动态展开法、高层软件测试与低层门级结构测试结合法等,并讨论今后有待解决的主要问题.
- 薛月菊王红杨士元邢建辉邓雨春
- 关键词：数字电路微电子技术集成电路设计
- IEEE1445数据开发工具被引量：1
- 2006年
- 数字电路板级故障诊断的标准接口文件IEEE1445(DTIF)已被各型ATE设备广泛支持,但在使用中普遍存在可读性较差、缺乏有效的人工干预接口等问题。本文介绍了DTIF文件的开发软件DTIFAssist,它在实现数据可视化的基础上,引导测试人员完成TPS开发的全过程,并最终生成标准文件,可有效提高历史测试数据的利用率,降低测试成本。
- 张家斌牛道恒王红杨士元
- 关键词：故障诊断
- 系统芯片IP核透明路径构建中的可测性分析被引量：1
- 2007年
- 系统芯片的设计方法为测试技术带来新挑战。知识产权模块(IP核)测试访问机制成为测试复用的关键。构建IP核透明路径会对电路的故障覆盖率产生影响。基于门级透明路径的构建方法,通过分析插入电路的控制门和多路器的激活和传播条件,对路径构建对于IP核单固定型故障覆盖率的影响进行分析,给出可测性条件和故障覆盖率的计算公式,无需故障仿真即可估计构造透明路径后电路的故障覆盖率。通过故障仿真实验,证明该故障覆盖率的分析和计算方法是有效的。
- 邢建辉王红杨士元成本茂
- 关键词：系统芯片测试访问机制IP核
- 即插即用家庭网络遥控器的研究与开发被引量：4
- 2006年
- 遥控器是家庭网络的重要组成部分,随着家庭网络向复杂化发展,必须专业人员配置的遥控器系统不再满足需要。本文吸取计算机操作系统的即插即用思想,提出了遥控器新设计方案,以实现家庭网络的即插即用。该方法通过设计设备描述文件,提高了遥控器配置的灵活性。另外介绍了家庭网络的系统结构,以及遥控器的硬件构成和软件实现。
- 林丽华杨士元叶朝辉徐海
- 关键词：家庭网络遥控器即插即用
- 基于复用的SoC测试集成和IEEE P1500标准
- 以复用核测试为目标的测试策略是解决SoC测试问题的基础。IEEE P1500标准是国际上正在制订的嵌入式核测试标准,该标准旨在简化核测试信息的复用,提高SoC级测试集成的效率。本文将介绍截至目前P1500标准的制订情况,...
- 吴超王红杨士元
- 关键词：片上系统
- 文献传递
