论文部分内容阅读
随着IC设计的复杂度和规模不断增大,使得功能验证变得越来越复杂,并且在整个设计周期中占用最多时间。尽管目前有很多技术可用于减少验证消耗的时间和资源,但是如何选择一种合适并且有效的验证方法仍是一个重要研究课题。集成电路制造和设计技术的迅速发展将集成电路设计带入片上系统(SoC)时代。IP核成为片上系统最重要的单元。基于标准总线Cardbus和片上总线AHB的Cardbus-AHB桥IP建立了这两种总线之间的一个通路,使得总线间的数据交换和跨总线访问成为可能。本论文针对Cardbus-AHB桥IP的功能特点,提出了一种基于Synopsys Verification IP的功能验证方法。此方法的是利用Synopsys公司提供的Verification IP建立总线功能模型,并以此来建立事务,搭建验证平台。论文的主要内容为:研究当前用于功能验证的方法、技术、工具和语言,对功能验证的流程及流程三阶段进行了阐述和说明。分析PC Card Standard 8.0规范和AMBA Specification 2.0协议,在此基础上提出了Cardbus-AHB桥IP核的总体框图并对所实现的功能点进行仔细分析,给出了详尽的功能列表。设计了Cardbus-AHB桥IP核的黑盒法验证方案,包括可重用的验证系统框图,激励输入机制的确定,响应检测机制的确定以及基于Synopsys Verification IP bfm的事务包的设计和实现,并给出了文件组织结构。编写了十个验证通道,设计和实现了142个测试用例,每个通道的测试用例览括了基本用例、边界用例和异常用例三个类别,并且对用例的验证思路、验证顺序和具体内容都进行了详细说明。搭建基于Unix操作系统的验证平台,编写了基于C Shell的自动化测试脚本。进行了完备的功能测试,在功能覆盖完成后,进行了14次回归测试和代码覆盖率检查。经过系统的功能验证,此IP达到了功能覆盖率100%,代码的行覆盖率100%和条件覆盖率95%以上的行业标准。为后期的工作奠定了正确的基础。表明本验证方法具有很好的实用参考价值。