【摘 要】
：
随着芯片的复杂度的快速增长，验证成为集成电路开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60％～80％的工作量。越来越多的项目开始采用基于SystemVerilog的验证
论文部分内容阅读
随着芯片的复杂度的快速增长，验证成为集成电路开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60％～80％的工作量。越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的功能覆盖率，以及更合理的层次化验证结构。本文基于VMM(Verification Methodology Manual)验证方法学来验证U-key芯片中7816接口模块。实现了模块级验证高效、层次化、可重用验证平台的搭建。分析了7816模块的功能点，编写功能覆盖率模型，并且对FIFO的异常状态进行了断言验证。并开发测试用例完成了7816所有功能的仿真验证。功能覆盖率为100%，条件覆盖率为95.1%，行覆盖率为98.7%，状态机跳转覆盖率为100%。本文描述了如何将功能覆盖率，RAL(Register Abstraction Layer)，断言与以往的验证方法有效地结合。说明结合功能覆盖率、RAL和断言为导向的验证方法提高了验证过程中的观测性，减少了验证周期，保证了验证的完备性。
其他文献
银行的跨国并购是商业银行实行全球化经营策略，是拓展业务领域，扩大市场份额，壮大规模，增强银行竞争力的可行有效的发展战略。尤其是在经济全球化、金融自由化及现代技术高速发展
【目的】介绍了面向产业需求的大数据与人工智能融合平台建设思路,形成了推动传统产业智能化、智能科技产业化的发展实施方案,为计算创新驱动提供参考。【方法】基于面向行业
乡土教材是区别于国家统编教材,以地方的地理、历史、文化和民族状况等为主要内容的地方性教材。我国乡土教材的起源可以追溯到清朝末期。新中国成立后,乡土教材的发展也一直
新三板挂牌企业作为中小企业的代表,在国民经济中扮演者越来越重要的角色。但由于其自身条件不足、银行和企业信息不对称等问题的存在,企业面临的融资难问题仍然较为突出。随
1900年，安德烈·纪德在一次会议上宣称：“当今文学土地上的面貌可以说是一片沼泽。”同年，圣埃克絮佩里诞生。他是一名战区飞行员，也是一名作家。他的傲人才华与创作激情给20世纪
改革开放以来,随着我国社会主义市场经济持续快速发展,各类市场主体相继出现。因各个市场主体都追求自身利益的最大化,故他们之间的矛盾甚至冲突在所难免。在这种情况下,单纯
REACH法案是《化学品的注册、评估、授权和限制》(Regulation Concerning the Registration, Evaluation, Authorization and Restriction of Chemicals, REACH)的简称,是欧
南陈遗址是黄河小浪底西霞院反调节水库工程区内需要抢救发掘的重要遗址之一。本文主要报道了该遗址西周时期文化遗存的发掘收获,文化遗物以西周中晚期为主。南陈遗址的发掘
在中国现行基金运作模式下,证券投资基金业的治理问题,包括基金管理公司的治理和基金的治理问题。借鉴欧美发达国家公司型基金治理的经验,我国应改变重基金管理公司治理,而轻
随着公路行业的不断发展,高等级公路穿越城市的情况越来越多,高等级公路运输在推动地方经济发展的过程中具有重要的作用。但高速公路项目所具有的特点如大量的资金投入、土地