【摘 要】
：
随着集成电路芯片规模越来越大,设计的复杂度也急剧增加,验证问题已成为芯片设计中的关键问题之一。在千万门级的ASIC、可重用IP和SoC系统级芯片的设计工作中,验证的工作已占
论文部分内容阅读
随着集成电路芯片规模越来越大,设计的复杂度也急剧增加,验证问题已成为芯片设计中的关键问题之一。在千万门级的ASIC、可重用IP和SoC系统级芯片的设计工作中,验证的工作已占整个工作量的70%。本文介绍了验证的基本理论、VMM平台相关技术以及搭建基于VMM的验证平台的步骤。比较了各种常用队列调度算法,设计了一个调度器模型。该调度器模型采用verilog语言实现,支持SP,WRR,DRR,WFQ四种队列调度算法,具有三级调度结构,每级具有多个子调度器,各调度器采用的调度算法可配置。以此调度器模型作为验证的待测设计,提出了一种基于统计意义上对调度结果进行比对的方法,以及在层级之间插入监视器以实现分层验证的策略,着重阐述搭建基于VMM平台的验证环境的过程,包括各组件的构造及互联关系等。为保证验证的充分性,构造了覆盖该模型所有功能的测试用例,验证结果表明:代码行覆盖率达到98%,条件覆盖率达到91%,状态机覆盖率达到100%,各项指标均达到业界标准。本文所提出的验证调度算法的方法和策略有一定通用性,并具有灵活性好、效率高、可重用性强等优点。
其他文献
用壳聚糖和竹汁混合液处理南湾鳙鱼肉,评定冷藏过程中鱼肉感官指标的变化,并测定其pH值、挥发性盐基氮(TVB-N)等理化指标和菌落总数的变化,研究竹汁联合壳聚糖对南湾鱼的保鲜
针对铁路跨越式发展的要求,对当前铁路客运组织存在的问题进行了分析,从贯彻跨越式发展理念、改革客运组织模式和强化与城市公交的衔接等方面,对提高铁路客运组织工作效率提
目的:通过心理探析对青少年上网成瘾问题的治疗寻找对策。方法:对上网成瘾80例青少年进行自评量表分析,逐一进行心理交谈,叹息成因成因和所存在的心理问题。结果:所有上网成
在经济领域中,会计和税收是两个不同的分支,分别遵循不同的原则,规范不同的对象。因此,二者存在较大的差异。本文主要从固定资产的计价、折旧、减值准备、价值调整、改良支出
<正>中药贴敷疗法是祖国医学外治法之一,在经络学说的指导下用药物外敷穴位进行治疗更是中医常用的方法。大黄性味苦寒,功能泻热通肠、凉血解毒、逐瘀通经,是临床最常用的中
分析摘挂列车调车计划的编制要求,把调车钩计划的问题应用基数排序算法进行解决,使调车问题数学化,采用按车组序列化排序,并实际应用在成都北编组站综合集成自动化系统(CIPS)
国外企业对纳税筹划理论的认识与研究已经较为成熟,通过各种筹划方案节约税收支出,降低成本已经成为国外企业财务运作上的必然之举。但在国内,纳税筹划作为一个新兴的研究领
本文利用张家山汉简对汉初 (汉文帝刑法改革前 )“隶臣妾”的身份进行了探讨。“隶臣妾”是一种刑徒 ,刑期有限 ,同时具有官奴隶身份 ,但又不同于奴隶社会中的奴隶。
<正> 2 杂病伏邪2.1 血管性痴呆血管性痴呆中医命曰"痴呆"。本病是中风后常见病、多发病之一,主要表现为慢性进行性智能缺陷。中风系气血逆乱所致的危急重证,若及时采取急救
<正>1940年农历十一月初四,江苏吴县灵岩山寺,晓鸡乍明,印光大师预知时至,住世缘息,遂唤水盥漱,跏趺端坐曰:"念佛见佛,决定生西。"言罢大声念佛。不多时,又曰:"蒙阿弥陀佛接