【摘 要】
：
HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片功能的增加带来了芯片面积增大和状态空间急剧膨胀,大大增加芯片验证难度.本文重点讨论了HPP交换芯片验证过程中采用的高级验证方法,并提出加快功能验证的策略.
【机 构】
：
中国科学院计算技术研究所 北京 100190 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院研究生院 北京 100039
【出 处】
：
第十二届计算机工程与工艺全国学术年会(NCCET08)
论文部分内容阅读
HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片功能的增加带来了芯片面积增大和状态空间急剧膨胀,大大增加芯片验证难度.本文重点讨论了HPP交换芯片验证过程中采用的高级验证方法,并提出加快功能验证的策略.
其他文献
本文介绍了算术SIMD模块的电路设计,介绍了指令的操作及实现算法,根据指令特点提出结果产生的两级选择结构,采用有限动态电路设计了SIMD加法器.用NANOSIM工具实现了版图后模拟及时序分析的自动化,版图后延时控制在750ps以下,能很好的达到设计中的一款3SP芯片对SIMD模块的时序要求.
DX是我们设计中的一款高性能定点DSP,本文介绍了逻辑与位操作模块的电路设计.针对版图连线复杂的问题,提出一种基于预留布线通道的位片式连线方法,采用手工半定制和全定制相结合的方法完成逻辑与位操作模块电路设计,版图后延时比综合结果减小了45.3％.
端口隐藏、匿名技术等在P2P软件中不断的应用,使得传统的P2P流量检测技术难以应对新的要求.本文首先总结了传统P2P流量检测技术的优缺点;然后重点论述了机器学习方法在P2P流量检测领域的应用,最后,针对上面的分析,给出了一种新的P2P流量检测方案,并分析了该方法的可行性。
本文通过对目前国际上数字电路的各种可测性设计技术和方法的研究,介绍了相关可测试性技术的基本概念,并根据X-DSP的特点和其对调测试的具体需求,提出了包含边界扫描设计和全扫描内部测试技术在内的一整套可测性设计和调试方案.
本文设计实现了一套完整的实验室设备管理系统,并加入了数据挖掘和决策支持功能,通过决策树算法和时间序列算法对设备运营信息进行分析挖掘,为决策者提供准确、有效的决策支持,以实现对实验室设备进行全面高效的管理.同时将程序间协作交互技术Web Service引入系统中,通过Web Service提供系统中的数据挖掘算法的接口或服务,使系统具有更好的可协作性。
本文介绍并改进了网络安全集中管理平台的关联方法,将统计关联的方法结合到规则关联中来,在不增大漏报率和误报率的情况下,有效提高了检测的实时性,提升了引擎性能.文章讨论了关联引擎的基本设计和工作流程,并提出了下一步改进的可能.
学习英语最难突破的问题是单词,提高词汇量是加强阅读能力和水平的基础和关键.因此,作者从英语语言学的形态学角度出发,对集成电路专用英语词汇的基本构成进行了分类和研究,从派生词、复合词及名词群等构词法入手,归纳总结了部分集成电路专用英语词汇的构成规则,分析了其发展变化规律.通过分析,作者想得出结论:在某种意义上,学习集成电路专用英语词汇时,词汇应该不属于“记忆”、而是属于“转义”的问题。这样,技术人员
二级Cache是CMP微处理器的重要组成部件,其中对二级Cache的验证是CMP处理器设计的重要课题。本文综合了多种验证方法制定了验证策略.根据制定的验证策略搭建了二级Cache验证平台,成功对二级Cache进行了验证,实践证明这是一个可行的验证解决方案.
功能验证在芯片设计中非常关键并贯穿于整个设计过程,本文提出了基于覆盖率驱动的芯片功能验证方法,并在网络接口芯片实际应用,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。
本文首先说明硅验证的重要性,然后针对芯片内关键数字电路的硅验证实际困难,介绍一种基于扫描链实现硅验证的方法。这种方法解决了关键数字电路的硅验证面临难点,能有效减少测试电路的投片面积,并且通用性很好,具有一定的实用价值.