【摘 要】
：
由于替换、分配、缺失等内部行为,以及缺失流水、预取、非阻塞、Victim Cache、乱序返回等优化机制导致了Cache的执行行为比较复杂,特别是随着多核处理器的出现,共享Cache的
【机 构】
：
湖南省长沙市国防科技大学计算机学院;
论文部分内容阅读
由于替换、分配、缺失等内部行为,以及缺失流水、预取、非阻塞、Victim Cache、乱序返回等优化机制导致了Cache的执行行为比较复杂,特别是随着多核处理器的出现,共享Cache的侦听、目录协议等进一步加剧了Cache执行行为的复杂性,使得Cache的正确性验证变得非常困难。本文提出了一种通用的基于System Verilog建模的Cache验证平台,该模型包含约束随机激励产生器,具有分层次的在线查错机制,以及运行状态的打印,通过一些缩减时空开销的策略在模拟性能与可调试性之间取得较好的平衡。通过该验证平台能够自动验证Cache的替换、分配等主体Cache行为的正确性。该平台在项目中两处Cache系统中得以应用,能够有效地提高验证效率。
其他文献
重钢(长寿)新区“铁钢界面”采用一罐制、“钢轧界面”采用板坯热送热装工艺。该流程节约建设投资、缩短生产周期、降低生产成本、快速生产出产品。但是要求连铸生产必须顺畅
当前对于在轨卫星的管理,主要是基于地面站测控的方式。这种管理模式的优点是技术成熟,对卫星的监控能力强。但是导航星座具有规模大,需要频繁更新星历的特点,若完全依靠地面
<正>在冶金工业生产中,常见有高热固体,液体直接溅入眼部造成烧灼伤.为探讨钢铁工业高温作业工人眼热灼伤的致病因素,以作为进行防治的依据,这对加强劳动保护具有十分重要的
本文针对于传统威尔金森功分器在毫米波频段下两路输出支路幅相一致性差的问题,提出了一种基于薄膜电路工艺的新型威尔金森功分器设计。通过减少两路输出支路之间耦合和考虑
随着BIM(Building Information Modeling,建筑信息模型)概念的普及与国家政策的大力支持,BIM以其能够提高设计效率,规范项目管理的优势,成为大型建筑工程中不可或缺的一环。Revit软件在我国建筑行业BIM体系软件中的使用最为广泛。Revit作为一款建模类的设计编辑软件,只能在本地PC端安装并打开三维建筑模型,且其对硬件的配置要求较高。然而Revit模型不仅能够用于建筑
目的探讨准分子激光光学角膜切削术(PRK)术后发生丝状角膜炎的病因、治疗和预防措施.方法采用美国comopak-200型扫描式准分子激光机对516例1003眼近视伴散光者行PRK治疗,手术
从表扬与批评的主次关系，一般问题和常见方式等三个方面论证了表所与批评的艺术，指出教育工作者在实施表扬与批评时，一定要讲究艺术，尤其讲究语言表达的艺术。
目的 探讨甘氨酸对离体大鼠心脏缺血再灌注引起的心脏损伤的拮抗作用及其机制.方法 采用Langendorff心脏灌流技术.正常对照组持续灌流90 min;缺血再灌注组平衡30 min,停灌30
一氧化碳中毒是临床上的一种常见病,抢救不及时往往危及生命,采用高压氧舱,光量子血疗,极大提高了抢救成功率.但在基层医院,医疗条件差,以上措施难以实施.我院近年来应用大剂