【摘 要】
：
随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大。针对Cache一致性协议验证提出基于
【基金项目】
：
国家自然科学基金（61402497,61303069）,国家科技重大专项核高基课题（2015ZX01028001-002-001）
论文部分内容阅读
随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大。针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题。首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证。以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%。
其他文献
本文主要针对低碳物流技术应用展开深入研究,先阐述了其阻碍因素,如缺少完善的物流行业评价体系、信息技术应用力度不足、激励机制效果比较薄弱化等;然后重点提出了几点应对
化学是研究物质及其变化规律的自然科学,与人们日常生活联系紧密。随着社会的发展,目前已经成为基础性学科,并与其他学科逐渐产生关联。高中化学要求学生养成独立进行实验的
在大数据时代下,数据信息在各领域各行业中的应用价值大幅度提升。如何将有价值的数据信息及时、有效提取并应用,成为人们关注与思考的重点问题。本文以核工程为例,就数据挖
<正>文化触及灵魂,文化直指人心。与文化对话总能让人们平添一份冷静与清醒,收获一种更为宽广的情怀和更为宏观的哲思。从2015年5月14日开始,《解放军报》用近1个月的时间,连
雄关漫道真如铁,而今迈步从头越!过去的一年,广电行业是艰难的,互联网不断渗透,新媒体强势发力,颠覆与唱衰的声音不绝于耳。但是,过去的一年,也是幸运的,新技术不断引入,新平
安全工作智能化、信息化管理,就是利用日渐普及的智能手机为硬件基础,集成日常工作痕迹记录、基础信息查询、地理定位、信息采集和数据交换等功能,为一线安全员提供切实有效
疫情就是命令，防控就是责任，服务就是担当。作为上市金融企业，江苏银行积极践行社会责任，以高质量金融服务助力打赢疫情防控大战、答好发展稳定大考，在疫情面前彰显了金融担当。 “作为一家上市企业，急事急办助力疫情防控、稳中求进支持复工复产、扶农助农力促脱贫攻坚，是我们义不容辞的责任。”江苏银行党委书记、董事长夏平在回复《英才》记者采访时表示。 江苏银行通过江苏省慈善总会首批捐款1000万元，全力支持
第一章总则第一条为加强高等学校民主政治建设,保障教职工参与民主决策、民主管理和民主监督的权利,规范高等学校校务公开工作,依据有关法律、法规的规定,结合我省高等学校的
市政工程建设的组成部分较多，其中，旧路路面冷再生施工对于工程整体的质量有着较大的影响，需要施工人员采取可靠的技术手段消除施工中存在的不安全隐患。旧路路面冷再生施工工艺