覆盖率驱动的芯片功能验证设计与实现

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:wumdk
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效
其他文献
目的:了解医用氧在医疗机构使用中存在的问题,探索有效举措来保障医用氧使用安全、有效。方法:对南京市26家三级医疗机构医用氧使用情况进行调研。结果:医疗机构医用氧使用存
民间美术色彩的审美价值是民间美术创作中主体思维和对色彩认知的主要形式。民间美术创作经常是以创作者从自己的创作目的出发,从对事物的感物、构思到表达的全过程之中。创
在社会全面进入信息化的今天,中职思想政治课教学充分运用电教手段已势在必行。我们应该改变传统的教育观念和教育方式,巧妙运用电教手段,有效激发学生的学习兴趣,提高学生的理解
<正>近年来,甘肃省女子强制隔离戒毒所以加强政治建设为根本、以完善制度体系为支撑、以实现规范管理为抓手、以提升队伍素质为保障、以提高戒断率为目标,深入学习贯彻习近平
语文能力不仅是学生学习能力的核心,同时,也是培养学生语文综合素养的必由之路。在特殊教育阶段,聋生作为社会中特殊的弱势群体,在其学习过程中通常需要一些具有针对性的教学
随着全球人口老龄化趋势的加剧,老年人的市场需求备受关注。其中,能否站立是影响老年人日常生活独立性的重要因素。国内外有专家学者对辅助站立进行研究与设计,但是鲜有技术
本选题以番茄根为材料,分离鉴定分属于3个门、7个目、11个属、25个种的70株内生菌菌株,其中以变形菌门(70%)和厚壁菌门(28.57%)为主,以肠杆菌属(32.86%)、芽孢杆菌属(24.29%)
近年来,随着我国社会经济的快速发展和工业电气自动化进程的不断加快,数字技术发展可谓突飞猛进,并逐渐渗透到各行各业之中,成为支撑国民经济发展的一个重要技术支柱。本文主
盐碱地区墙体泛碱现象较多,给业主带来了许多问题,本文分析了既有建筑墙体表面泛碱问题的原因、规律及启示,在此基础上提出几点防治措施。
针对模糊非确定现象的评价问题,提出了模糊数学与中介真值理论相结合的评价方法。模糊数学评价法和中介真值理论的方法都是从量的角度研究和处理模糊现象。但是,模糊数学评价