论文部分内容阅读
随着集成电路设计规模的不断增大,芯片的功能验证面临的挑战越来越大。传统的验证平台在可重用性、扩展性以及验证效率等方面的缺点越来越明显,已经成为ASIC开发的瓶颈。为了弥补设计规模与验证技术之间的差距,验证工程师和一些EDA公司不断提出高级的验证语言和验证方法学,提高验证的效率本文采用SystemVerilog验证语言,针对一款GPON OLT MAC芯片的PLOAM功能模块,设计实现了基于VMM (Verification Methodology Manual)验证方法学的层次化验证平台。该验证平台具有基于事务的处理机制,而且可以随机配置以及激励。在很大的程度上提高了验证效率。但是传统的VMM验证平台仅仅局限于将DUT (Design Under Test)要处理的数据抽象成事务,而将其他的一些配置内部寄存器等归入BFM (Bus Function Module)组件之列。此外,对接口之间信号的时序验证存在着不足之处。所以,本文对传统VMM验证平台做了一些改进:将CPU配置内部寄存器同样抽象成事务,扩展出能够被其他验证平台直接重用的子模块CPU_ENV。通过扩展vmm_data类而来的CFG组件,改进了传统验证平台中CPU读写DUT内部寄存器实现方式。此外,在对配置以及激励数据随机的时候,引入功能覆盖率驱动的验证,将随机验证与验证效率做了很好的平衡。最后,本文在接口处添加了基于断言的验证,用来检查接口之间的时序是否正确。论文简要介绍了基于仿真的功能验证技术,基于SystemVerilog语言的VMM验证方法学,GPON系统以及PLOAM模块的工作原理,详细阐述了PLOAM模块的VMM验证平台软件设计。基于传统验证模型的不足之处,详细介绍了改进以后的验证平台实现方式,引入覆盖率驱动、断言验证等高级验证方法,增强验证的完备性。最后对整个平台进行仿真,证明此验证平台具有自动化和随机测试以及很高的可重用性、可集成性等特点,可以显著提高验证的完备性和效率。