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