高抽象层次化的OVM验证平台设计

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:asnbgq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路工艺和技术的飞速发展,设计规模和功能复杂度进一步增大,对原本就非常复杂的验证工作提出了更大的挑战。尽管传统的验证方法也在不断的更新,但验证工作仍在整个设计流程中占据了超过80%甚至更多的工作量,已然成为了整个专用集成芯片设计的一大瓶颈。为了有效缩短验证时间、提高验证覆盖率以及加快产品上市速度等,急需先进的功能验证方法来提高传统验证工作的效率。由于OVM验证方法学结合了覆盖率驱动验证、断言验证、事务级验证、约束随机激励生成以及直接测试等验证方法的优点,基于System Verilog语言可以完成高效、高复用性以及高扩展性的验证平台,为提高验证效率提供了可能,也是本文选用该验证方法学的重要因素。本文简要介绍了OVM验证方法学的基本体系,结合OVM的典型结构与强大机制完成了基带芯片中重要模块追踪调试系统的验证平台搭建。由于验证工作对验证人员的经验和技术来讲都有着非常高的要求,在验证的初期验证环境的框架以及验证环境的抽象级对后期的验证工作起到了至关重要的作用,一个合适的验证抽象层次会减少很多设计底层的逻辑关系,过低的验证抽象级不仅在检测时会增多很大的工作量,同时这样的验证环境会跟底层设计产生过多的依赖关系,使得验证和设计无法真正剥离,无法真正有效的提高验证效率。本验证环境为了实现对好几个相似模块的平台复用,在对各个组件的设计进行详细介绍的同时着重突出了该验证环境中的配置和层的核心技术,正是这两点的成功设计才使得高抽象层次化的验证平台成为可能。同时本文突出VIP验证的优势,集成成熟的验证模块不仅会给验证工作带来更高的可信度,同时也能有效的缩短验证时间。最后基于约束随机激励的产生对设定好的覆盖率组进行了覆盖率的收集,实践证明该验证系统具有高复用性、扩展性及自动化的显著特点。
其他文献
特殊教育师资队伍的量、质,直接关系着特殊需要儿童接受教育的质量。通过文献研究,本文分析了特殊教育师资的现状,总结并剖析了存在的问题,并就发展特殊教育师资提出了建设性
地理活动教学常常处于开放或半开放状态,学生之间有很多交流、合作的机会,他们的思想、观念可以经常互相碰撞、融会。在活动中学生意识到与他人合作的重要性,感受到合作带来
高中信息技术课程的总目标是提升学生的信息素养。要引导学生在学习和使用信息技术、参与信息活动的过程中,实现知识与技能、过程与方法、情感态度价值观三维目标的信息素养
就目前来说,全球水资源日益减少,节约水源成为了世界性的热点话题,为了适应时代的发展需要,建筑方面的节水也成为了一种新趋势。但是在高层建筑中,因为建筑物的高度较大,所以
分析讨论在我国浩翰的文学海洋里大量脍炙人口、千古流传,并受到一代又一代读者朋友喜爱的部分诗词中,所包含的气象现象和气象知识,认为如能合理利用于气象科普宣传则可以事半功
遮阳对于处于湿热地区的南方建筑来说极其重要,减少进入室内的太阳辐射,同时通过缩短制冷设备的使用时间来达到节约能源的目的。良好的遮阳设计可以让空间使用者拥有更佳的舒
对于丈夫而言,幸福的生活,不单单是有车有房、会疼人那么简单。让夫妻之间过上和谐、完美的性生活,更是一门重要的功课。有些男性为了改善自己的性能力,不惜求助于滋补品、壮阳药
多奈哌齐(donepezil)是中枢性和选择性乙酰胆碱酯酶抑制剂,对阿尔茨海默病患者的认知损害和记忆缺失有治疗效果,且常与银杏提取物合用。作者研究了阿尔茨海默病老年患者服用银
在当今这个互联网时代,网络已经成为人们一条获取信息、查询资料、聊天交友、放松娱乐的不可或缺的途径。但有许多不法分子利用网络用非正当的手段谋取不义之财,给社会和人民
本文通过引入行波约化变换和辅助双曲正切函数,将求解非线性偏微分方程组即改进型的SIR模型的精确解转化为求解非线性常微分方程,再对该常微分方程进行化简变换,通过其系数得