×

一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现

消耗积分:0 | 格式:rar | 大小:0.66 MB | 2017-11-17

分享资料个

　　随着集成电路设计复杂度指数级增长，功能验证已经越来越成为大规模芯片设计的瓶颈，而在多核处理器中，Cache -致性协议十分复杂，验证难度大。针对Cache -致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法，解决Cache -致性协议状态空间爆炸的问题。首先分析了Cache -致性协议及基于贝叶斯网络推理的CDG方法，并将CDG方法应用于Cache -致性的验证。以FT处理器中的Cache -致性协议验证为例，对比伪随机测试，使用CDG方法将覆盖率提高近30%。

一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !