论文部分内容阅读
CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题.基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种验证方法--状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析.
CMP中Cache一致性协议的验证
【摘 要】
：
CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题.基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种
【机 构】
：
清华大学
【出 处】
：
电子技术应用
【发表日期】
：
2005年12期
其他文献
驱动器是连接虚拟仪器物理硬件和测试应用程序的桥梁和纽带,回顾了虚拟仪器驱动器技术规范的发展历程.在分析规范的基础上给出了两种驱动器设计类型,预测了其今后的发展趋势.
男，48岁。因呕吐、乏力、食欲缺乏3d入院。3d前劳累后出现恶心、呕吐、进食少、乏力、多汗，自觉心悸，在外院以“胃肠炎”予对症治疗，效果欠佳。既往体健，不嗜烟酒，否认高血压病、糖
摘 要：在实施新课程标准的实践中，反思文本阅读教学，采取“走进文本、走近大师”的方式引导学生亲近文本，理解作者，理解人生；用“走出文本、走向生活”的方式引导学生关注社会，关注生活，关注人生。既尊重选文，又扩大阅读，将阅读教学与生活联通起来，努力求得一种共同基础与多样选择有机统一的阅读教学方法。 关键词：阅读教学；走进文本；走出文本；大师；生活 中图分类号：G623.23 文献标识码：A 文章编
介绍了天然河道水面线推求过程中横断面测量偏角及河道弯曲的改正计算。以往推求天然河面线时，由于受各种条件的制约和影响，很难使河道横断面方向与洪水流向垂直，把方位偏角直接
民族团结是博尔塔拉蒙古自治州这样典型的多民族聚居的边疆民族地区发展各项事业的基本条件和前提，也是博尔塔拉蒙古自治州实现跨越式发展的时代要求。在对博尔塔拉蒙古自治州
随着金融电子化在银行业的不断深入和银行应用系统的日趋多样化,企业应用集成的概念及其应用对实现各应用系统之间的信息共享、数据共享进而达到企业的流程整合和业务整合的
目的分析胸痛合并不典型异常心电图的误诊原因,探讨误诊防范对策。方法回顾性分析3例胸痛合并心电图异常误诊的临床资料。结果 3例均为急性胸痛合并非特异性心电图异常,1例误