邢建辉
- 作品数：11 被引量：25H指数：4
- 供职机构：西门子中国研究院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种基于复用的片上系统的测试集成策略的研究
- 邢建辉
- 关键词：片上系统测试访问机制故障仿真自测试
- 基于布尔可满足性的组合电路ATPG算法被引量：3
- 2003年
- 布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策。通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息。最后给出的实验结果表明了算法的可行性和有效性。
- 邓雨春杨士元邢建辉
- 关键词：布尔可满足性组合电路数字电路电子设计自动化电路结构
- 构造SoC级透明路径的0-1规划方法
- 2007年
- 为解决如何以低面积开销为系统芯片(SoC)构建透明路径测试访问机制从而有效进行测试复用的问题,提出了SoC级透明路径构建方法,将透明路径构建问题转化为0-1规划问题,同时考虑测试调度,以缩短测试加载时间和减小面积开销为优化目标,利用IP模块内部的透明路径和模块间互连关系为每个待测模块构建测试访问通路。实验结果表明:该透明路径构建方法的面积开销比Ghosh方法降低50%,测试加载时间比Yoneda方法大大缩短,验证了该方法的有效性。
- 邢建辉王红杨士元成本茂
- 关键词：系统芯片测试访问机制整数规划
- 数字电路的层次化测试生成新趋势被引量：5
- 2003年
- 与传统的门级测试生成方法相比.数字电路的层次化测试生成方法采用层次化模块的方式,利用不同抽象级的电路信息,包括结构信息和功能信息,有利于加速测试生成,提高故障覆盖率.分析和综述了几类主要的层次化测试生成算法:预先生成低层模块测试法、模块在约束下直接生成全局测试法、高层模块动态展开法、高层软件测试与低层门级结构测试结合法等,并讨论今后有待解决的主要问题.
- 薛月菊王红杨士元邢建辉邓雨春
- 关键词：数字电路微电子技术集成电路设计
- 系统芯片IP核透明路径构建中的可测性分析被引量：1
- 2007年
- 系统芯片的设计方法为测试技术带来新挑战。知识产权模块(IP核)测试访问机制成为测试复用的关键。构建IP核透明路径会对电路的故障覆盖率产生影响。基于门级透明路径的构建方法,通过分析插入电路的控制门和多路器的激活和传播条件,对路径构建对于IP核单固定型故障覆盖率的影响进行分析,给出可测性条件和故障覆盖率的计算公式,无需故障仿真即可估计构造透明路径后电路的故障覆盖率。通过故障仿真实验,证明该故障覆盖率的分析和计算方法是有效的。
- 邢建辉王红杨士元成本茂
- 关键词：系统芯片测试访问机制IP核
- 基于复用的SOC测试技术被引量：6
- 2004年
- 复用不仅是SOC设计思想的核心,也是解决SOC测试的基础。本文在分析SOC的基本概念和特点的基础上,从复用的角度对现有的SOC测试方案进行分析和综述,并探讨了亟待解决的问题。
- 王红邢建辉杨士元
- 关键词：SOC集成电路复用技术
- 一种非同步时序电路的测试生成方案
- 2007年
- 分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。
- 王红成本茂杨士元邢建辉
- 风机故障监测诊断系统中的通信交互实现
- 2010年
- 基于振动信号分析方法的风力发电机故障诊断系统,能有效地降低风力发电机的维护成本,提高故障诊断效率.一个能够远程监控、易于操作、无需特定故障诊断软件的风机故障诊断系统能将故障诊断变得简单易行.故障诊断过程中产生的海量数据以及进行远程配置查看的通信问题制约着系统的进一步发展,旨在解决其中主要模块间的通信问题,包括利用SPI协议实现系统配置和快速海量数据传输,构建系统各个模块间的通信体系,实现远程监测、配置和控制,并利用完成后的风机故障监测诊断系统在实验和实际环境下进行了验证.
- 李积惠王红杨士元靳洋胡喜邢建辉
- 关键词：风力发电机故障诊断数据通信嵌入式系统
- 数字电路的高层测试技术及其发展被引量：4
- 2006年
- 简要介绍了数字VLSI电路高层测试的概念,主要的高层测试方法,高层测试中所采用的故障模型及其与门级stuck-at故障的对应关系;并展望了高层测试技术的发展趋势。
- 成本茂王红邢建辉杨士元
- 关键词：数字电路VLSI可测性设计
- 一种基于微处理器的SOC自测试方案被引量：1
- 2006年
- 提出了一种基于片上微处理器和透明路径测试访问的SOC自测试方案。以片上微处理器为测试加载和响应收集比较的主体,构造透明路径并行传输测试数据,以嵌入程序控制测试过程。可以在提高测试速度的同时,降低对测试设备性能的依赖,并可以进行全速测试,所需额外面积开销较小。实验表明,该测试方案是有效的。
- 邢建辉王红杨士元牛道恒
- 关键词：系统芯片测试访问机制微处理器自测试
