【摘 要】
：
随着集成电路复杂度的增加,验证难度也相应增加,以代码覆盖率为导向的传统验证方法已经不能满足集成电路设计的要求,日渐成为数字集成电路设计开发周期的瓶颈。本文基于VMM(V
论文部分内容阅读
随着集成电路复杂度的增加,验证难度也相应增加,以代码覆盖率为导向的传统验证方法已经不能满足集成电路设计的要求,日渐成为数字集成电路设计开发周期的瓶颈。本文基于VMM(Verification Methodology Manual)验证方法学,在对传统验证方法进行研究的基础上,提出了结合功能覆盖率和断言的验证方法。搭建出了层次化、可重用、可扩展的验证平台,对MAC(Media Access Control)模块进行验证。分析了MAC帧长度和类型的功能点,编写出功能覆盖率模型,并对MII接口时序进行了断言的验证。一共开发出100多条测试向量,10条断言语句。行覆盖率为100%,条件覆盖率为95.1%,状态机跳转覆盖为100%,功能覆盖率为100%。本文讨论了如何将断言,功能覆盖率和传统的验证方法有效地结合。说明结合断言与功能覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期,保证了验证的完备性。
其他文献
数学是一种精神,一种理性的精神.数学理性精神的培养是数学教育的重要部分,然而,在我们的数学教学中,对数学理性精神不够重视,关于理性精神的研究也不足.本研究关注高中生数
对川西亚高山原始岷江冷杉（Abies faxoniana）林林窗内和林冠下小气候及岷江冷杉幼苗生长和生物量进行了两个生长季的连续观测.结果表明：6月林窗内与林冠下太阳辐射的日积累量没
注塑机的液压节能技术是注塑机科技进步过程中发展的一项新技术。液压驱动的注塑机在各个成型阶段所需的压力和流量都是变化的,而国内原有注塑机多为定量泵系统,能量损失非常
我国目前尚未建立适合中国国情的未成年人司法制度,有关未成年人言词证据的规定更是乏善可陈,司法实践中未成年人言词证据没有得到应有的重视。本文全面探讨了未成年人言词证
自1987年以来布鲁贝克《高等教育哲学》一书的中译本开始在国内发行,其高等教育哲学思想便开始了在我国的引进历程。二十余年以来的引进历程也是颇费周折,经历了“肯定——否
当下风靡全球的拔火罐、针灸、刺络放血、推拿按摩等等,都属于中医皮肤刺激疗法的范畴。远古时期,人们通过摩擦、抓揉,或偶然被一些尖硬物体刺激皮肤,会出现意想不到的疼痛减
城市市容环境卫生治理是一项社会性强、受益面广的社会公共服务事业,一直以来,政府部门在城市环境卫生治理工作中起着主导作用。上世纪八十年代西方国家掀起了行政改革浪潮,
论文概述了电力电缆的种类及特点、交联聚乙烯绝缘电缆料的优势、国内外现状及发展趋势、聚乙烯的不同交联工艺、交联机理、交联配方及交联动力学的相关知识;系统分析了两种
课程建设既是一项科学研究课题,又是教学改革的重点。科学合理地制定课程建设方案,有计划、有系统地进行课程建设,不断改革课程体系和教学内容,是学校教学的核心和重点。本文
江西省是一个农业大省,有多种农业资源位于全国的前列。“三农”问题作为江西省工作的重中之重,牵系到广大从事农业生产人员和企业的命运。江西农业产业化有了很大的发展,但