【摘 要】
：
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突
【机 构】
：
中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室
【基金项目】
：
新一代宽带无线移动通信网国家科技重大专项(2013ZX03003015)
论文部分内容阅读
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.
其他文献
深埋长引水隧洞排水措施的布置与隧洞渗流场及衬砌外水压力关系密切,是保证围岩及衬砌结构安全的重要举措.结合滇中引水工程大理Ⅱ段深埋长引水隧洞,采用ABAQUS数值模拟的方
为研究蒸煮黑液中木质素对污染负荷影响,研究了红松木片化学浆蒸煮黑液的污染特性及特征污染物,通过紫外 可见光谱法建立了快速测定液相木质素的分析方法及木质素对COD贡献的
对于体育教学而言，CAI无论是在应用理论研究、软件开发，还是实践运用等方面都相对滞后于其他学科。拟针对CAI在高校体育教学中的应用现状，分析制约其发展的主要因素，并在此基础上
针对旗县城镇规划的特点,介绍旗县有线电视管线的规划、设计与施工,说明管线建设与HFC网的关系及其在旗县有线电视建设中的重要作用.
There are many factors affecting the monolithic lining engineering of rotary kilns, resulting in the difficult quality control. In this paper, the key points of
钢-混凝土组合梁的刚度和挠度分析因可能受到两者界面的相对滑移影响而十分复杂.针对组合梁受界面滑移效应的影响,进行了静力线弹性分析,提出了组合梁挠度计算的二阶算法,分
ACE公司最新推出基于PON技术的CATV宽带接入系统Vista1600，它与传统的双向HFC网络相比，具有节省光纤资源、带宽资源共享、节省机房投资、设备安全性高、建网速度快、综合建网成
随着宽带互联网技术的普及，利用宽带网的基础设施，以家用电视机作为主要终端电器，通过互联网络协议来提供包括电视节目在内的多种数字媒体服务。介绍基于IPv6的IPTV的通信协议，对
［摘要］文章分析了当前社会经济变革时期对高职高专体育的新需求，以及它给高职高专体育教学工作带来的新变化，进而对高职高专体育教学模式的改革进行了探讨，提出体育俱乐部教学模式，并在西安工程大学高职体育教学实践研究的基础上，提出了可行性建议，为未来高职高专体育教学改革提供了一定的思路和实践经验。 ［关键词］高职高专体育 教学改革 教学模式 俱乐部 ［作者简介］郝建东（1968- ），男，陕西延安人