[发明专利]一种SOC芯片的验证方法及系统

说明书

技术领域

本发明属于芯片技术领域，尤其涉及一种SOC芯片的验证方法及系统。

背景技术

芯片设计完成后需要进行验证，验证的主要任务是验证设计的正确性，确定芯片是否符合所有的设计规范。

传统的验证方法是直接向量测试(direct vector test)，直接向量测试是一种信号级验证，通过制造固定场景的激励直接在信号级上与待验证芯片进行通信，通过检查芯片引脚信号的值和变化来验证芯片的功能。这种验证方法要求必须事先设计出芯片的工作场景，验证人员直接处理非常低层次的信号级信息。采用这种验证方法，验证人员工作量很大，并且一些意外场景、错误处理场景不可能一一考虑和验证到，而导致验证不全面。当芯片比较复杂、规模比较大时，直接向量测试的验证方法基本没有验证能力。由于是信号级的验证，验证平台直接与芯片的接口协议相关，验证平台重用性很差，芯片换代时原有的验证平台基本不可以重复使用，必须重新搭建新的验证平台。

为了克服传统验证方法的缺点，芯片验证的发展趋势是提高抽象层次，进行事务级的验证。

代表性的事务级(transaction level)验证方法是验证方法手册(Verification Methodology Manual，VMM)。VMM验证系统的架构如图1所示，通过验证人员操作配置器中的约束条件来约束产生器产生测试事务，并通过自动比较器实现了在线自动比较。

采用VMM验证方法后，可以实现受约束的随机验证(constrained random verification)，在设定的约束条件下进行随机，以覆盖正常工作场景和意外工作场景；覆盖率驱动验证(coverage driven verification)，当功能覆盖率、代码覆盖率达目标值以后停止随机验证；全自动在线比较，遇到错误自动报警并停止仿真，保存现场；基于断言的验证(assertion based verification)。

VMM验证方法实现了验证方法从信号级向事务级的转变，方便了数据通路类型芯片的验证。但由于VMM验证方法的数据交互和控制比较复杂，对多媒体芯片来说，操作待验证芯片的方法相当复杂，不方便控制仿真流程，易用性低，而且因为其无法加入设备驱动，故无法验证复杂的应用场景和升级成系统级验证。

发明内容

本发明实施例的目的在于提供一种SOC芯片的验证方法，旨在解决现有技术对于现有验证平台，验证操作复杂，且无法验证复杂的应用场景，无法在仿真系统上实现软硬件协同验证的问题。

本发明实施例是这样实现的，一种SOC芯片的验证方法，所述方法包括下述步骤：

加载测试程序；

根据所述测试程序在系统接口函数库中调用相应的系统函数，根据所述系统函数，及所述系统函数对应的维护列表，生成随机事务；

根据所述随机事务，对待测试芯片进行验证。

本发明实施例还提供了一种SOC芯片的验证系统，所述系统包括：

加载器，用于加载测试程序；

随机事务产生器，用于根据所述加载器加载的测试程序在系统接口函数库中调用相应的系统函数，根据所述系统函数，及所述系统函数对应的维护列表，生成随机事务；

验证单元，用于根据所述随机事务产生器产生的随机事务，对待测试芯片进行验证。

本发明实施例通过加载的测试程序在系统接口函数库中调用相应的系统函数，根据系统函数，及系统函数对应的维护列表，生成随机事务，根据随机事务，对待测试芯片进行验证。使得软件工程师编写的测试程序可以直接在现有的验证平台上运行，将验证方法提升为系统级验证，实现了软硬件协同验证，实现了复杂应用场景的验证，同时通过把低层信息进行封装，使得验证系统便于使用，且易于复用。

附图说明

图1是本发明提供的现有技术的VMM验证平台的结构图；

图2是本发明实施例一提供的SOC芯片的验证方法的实现流程图。

图3是本发明实施例一提供的测试程序开发的流程图；

图4是本发明实施例二提供的生成随机事务的方法的实现流程图；

图5是本发明实施例二提供的生成测试事务的实现示例的实现流程图；

图6是本发明实施例三提供的生成随机事务的方法的实现流程图；

图7是本发明实施例三提供的生成IO操作事务的实现示例的实现流程图；

图8是本发明实施例四提供的生成随机事务的方法的实现流程图；

图9是本发明实施例四提供的生成随机数或者随机序列实现示例的实现流程图；