基于重用验证方法学的信道重编码系统功能验证研究

作     者：万上宏 

作者单位：华南理工大学 

学位级别：硕士

导师姓名：李斌

授予年度：2011年

学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 

主      题：重用验证方法学 功能验证 验证效率 重用 

摘      要：集成电路发展至今,随着芯片规模的不断扩大,逻辑功能越来越复杂,集成电路的验证(Verification)成为集成电路技术上的一个瓶颈。据统计,在千万门级以上的集成电路开发项目中,验证工作占了整个开发项目约70%的工作量。特别是随着SOC(片上系统)技术成为集成电路设计主流的开发方式后,对验证技术的重视程度更是越来越高。提高验证的重用性和验证效率是验证技术发展的方向。 验证重用方法学是一种成熟的验证方法学,在验证领域得到广泛的应用。本论文以重用验证方法学为基础,运用重用验证方法学搭建重编码子系统的验证环境。 其中,在代理(agent)的设计上引入新的验证思路,使验证环境的灵活性更高,特别是从模块级验证过渡到系统级验证时,能够使模块级的验证环境以更高的重用率重用到系统级的验证当中,提高了验证效率。通过Specman的验证平台优化工具分析验证,优化后的验证环境运行效率较优化前提高了10%5%。 在监视器和总线功能模型的设计上,基于提高验证组件灵活性的考虑,作了优化。通过定义不同的场景,分别应用于正常激励验证与异常激励验证,使验证环境在进行异常用例的验证时具有更高的验证效率。 最后,通过引入包括功能覆盖率在内的多种类型的覆盖率驱动的方法,保证了验证的完备性。本文所搭建的验证环境具有较好的通用性,可以作为其它验证工作开展的基础。