[发明专利]一种SOC系统级验证环境的激励生成方法

说明书

本发明公开了一种SOC系统级验证环境的激励生成方法，其步骤包括：步骤S1：分析输入文件；分析子模块设备模型UVM接口和SOC系统级验证环境的顶层，建立子模块设备模型UVM接口和SOC系统级验证环境的顶层信号接口间的连接关系；步骤S2：建立集成验证环境；令子模块设备模型UVM环境能够快速集成到SOC系统级验证环境中；步骤S3：仿真运行，运行完分析结果。本发明具有原理简单、操作简便、可以减少验证环境集成时间、加快SOC验证进度等优点。

技术领域

本发明主要涉及到芯片验证技术领域，特指一种SOC系统级验证环境的激励生成方法。

背景技术

SOC系统(System on Chip，片上系统)包含处理器核、互联总线和用来实现各种不同功能的外设模块。传统大型SOC系统级验证环境是基于system verilog语言开发，在SOC系统级验证环境下的主要验证方法是：编写C程序或者汇编程序生成可执行的二进制文件，将生成的二进制文件加载到存储器设备后，处理器从存储器设备读取该二进制文件并执行。

随着SOC设计规模的日益增长，这种传统的SOC系统级验证方法已不能满足当前SOC验证的需要，其局限性主要体现在：随着UVM(Universal Verification Methodology,通用验证方法学)的发展和应用，外设模块的模块级验证环境逐渐采用UVM实现，这些子模块设备模型经过模块级验证后比较成熟，如果能够将这些成熟的子模块设备模型集成到SOC系统级验证环境中将有效地提升系统级验证环境开发效率。

子模块设备模型集成到SOC系统级环境的主要难点在于处理两种类型激励的生成，具体是指：SOC系统级环境的激励采用C语言或汇编语言编写，编译后由核心处理单元执行，即SOC系统级环境的激励是抽象的软件层面的激励；而子模块设备模型的激励是基于模块硬件结构的事务级报文激励，即子模块设备模型的激励是与硬件实现结构紧密相关的事务级报文激励。因此，将子模块设备模型集成到SOC系统级验证环境需要处理好两种类型激励的生成和注入时机，以使两种类型激励相互配合工作。例如，将PCI-E的子模块设备模型集成到SOC系统级验证环境中时，需要在系统级层面使用C语言或汇编语言编写PCI-E设备相关的代码，通过软件控制处理器核对PCI-E设备进行操作；同时，还要编写PCI-E子模块设备模型的事务级报文激励，以配合处理器核完成PCI-E设备操作。

因此，如何寻找一种SOC系统级验证环境的激励生成方法，使两种类型激励能够协调工作，是将子模块设备模型集成到SOC系统级验证环境的关键。

发明内容

本发明要解决的技术问题就在于：针对现有技术存在的技术问题，本发明提供一种原理简单、操作简便、可以减少验证环境集成时间、加快SOC验证进度的SOC系统级验证环境的激励生成方法。

为解决上述技术问题，本发明采用以下技术方案：

一种SOC系统级验证环境的激励生成方法，其步骤包括：

步骤S1：分析输入文件；分析子模块设备模型UVM接口和SOC系统级验证环境的顶层，建立子模块设备模型UVM接口和SOC系统级验证环境的顶层信号接口间的连接关系；

步骤S2：建立集成验证环境；令子模块设备模型UVM环境能够快速集成到SOC系统级验证环境中；

步骤S3：仿真运行，运行完分析结果。

作为本发明方法的进一步改进：所述步骤S1包括：

步骤S101：分析UVM子模块设备模型接口定义文件，得到要例化模型的接口；

步骤S102：分析SOC顶层，得到SOC所有信号；

步骤S103：根据步骤S101和S102，建立子模块设备模型的接口信号和SOC信号一一对应的连接关系；