片上系统的验证方法技术方案

本申请涉及一种片上系统的验证方法

【技术实现步骤摘要】
片上系统的验证方法、系统和电子装置


[0001]本申请涉及集成电路验证领域，特别是涉及片上系统的验证方法
、
系统和电子装置
。

技术介绍

[0002]随着半导体技术的飞速发展，集成电路（
IC
）的设计和制造，特别是片上系统（
SoC
）的设计与制造也越来越复杂，验证逐渐成为集成电路产业中的关键环节
。
[0003]验证的主要目的是检验芯片的各方面功能是否达到设计要求，其中，验证平台的搭建与测试向量的编写是芯片验证的核心
。
通过搭建验证平台，构建一个能够和待测设计进行交互的验证环境，利用测试向量对待测设计施加激励约束，进而实施验证
。
现有技术中，通常使用
2011
年推出的通用验证方论
UVM
（
Universal Verification Methodology
）构建验证平台，而用于验证的测试向量由验证工程师结合具体需求自主编写
。
然而，现有的芯片验证方法通常是针对芯片中的各个功能模块而进行的，而针对片上系统的验证方法不够完善，难以直接从系统层面实现验证，且测试向量的编写难度大，从而导致验证效率较低
。
[0004]针对相关技术中存在片上系统的验证效率较低的问题，目前还没有提出有效的解决方案
。

技术实现思路

[0005]在本实施例中提供了一种片上系统的验证方法
、
系统和电子装置，以解决相关技术中片上系统的验证效率较低的问题
。
[0006]第一个方面，在本实施例中提供了一种片上系统的验证方法，包括：根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，其中，所述测试向量中包含嵌入式
C
代码
、
序列发生器代码以及参考模型代码，所述嵌入式
C
代码
、
所述序列发生器代码以及所述参考模型代码的逻辑相对应；基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据，其中，所述待测设计为片上系统；基于所述参考模型代码，生成参考数据；将所述目标仿真数据和所述参考数据进行比较，并基于比较结果得到针对所述待测设计的目标验证结果
。
[0007]在其中的一些实施例中，所述根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，包括：基于所述参数配置文件，获取参数配置信息；基于所述代码模板文件，获取嵌入式
C
模板
、
序列发生器模板以及参考模型模板；基于所述嵌入式
C
模板与所述参数配置信息，生成所述嵌入式
C
代码；基于所述序列发生器模板与所述参数配置信息，生成所述序列发生器代码；基于所述参考模型模板与所述参数配置信息，生成所述参考模型代码
。
[0008]在其中的一些实施例中，所述基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据，包括：基于所述序列发生器代码，产生激励信号；在所述激励信号的作用下，基于所述待测设计运行所述嵌入式
C
代码，得到运行产生的所述目标仿真数据
。
[0009]第二个方面，在本实施例中提供了一种片上系统的验证系统，所述验证系统包括测试向量生成组件
、
外部信号组件以及验证控制组件，其中：所述测试向量生成组件，用于根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，其中，所述测试向量中包含嵌入式
C
代码
、
序列发生器代码以及参考模型代码，所述嵌入式
C
代码
、
所述序列发生器代码以及所述参考模型代码的逻辑相对应；所述外部信号组件，用于基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据；基于所述参考模型代码，生成参考数据；其中，所述待测设计为片上系统；所述验证控制组件，用于将所述目标仿真数据和所述参考数据进行比较，并基于比较结果得到针对所述待测设计的目标验证结果
。
[0010]在其中的一些实施例中，所述验证系统还包括顶层设计组件；所述顶层设计组件连接所述外部信号组件和所述验证控制组件；所述顶层设计组件用于提供信号接口
、
系统时钟和复位信号；还用于实例化所述验证系统中的各所述组件；所述顶层设计组件基于
UVM
验证方法论中的类而实现
。
[0011]在其中的一些实施例中，所述测试向量生成组件包括第一获取模块
、
第二获取模块
、
第一生成模块
、
第二生成模块以及第三生成模块，其中：所述第一获取模块，用于基于所述参数配置文件，获取参数配置信息；所述第二获取模块，用于基于所述代码模板文件，获取嵌入式
C
语言模板
、
序列发生器模板以及参考模型模板；所述第一生成模块，用于基于所述嵌入式
C
语言模板与所述参数配置信息，生成所述嵌入式
C
代码；所述第二生成模块，用于基于所述序列发生器模板与所述参数配置信息，生成所述序列发生器代码；所述第三生成模块，用于基于所述参考模型模板与所述参数配置信息，生成所述参考模型代码
。
[0012]在其中的一些实施例中，所述外部信号组件包括代理模块，所述代理模块包括序列发生器
、
驱动器
、
监测器以及参考模型，其中：所述序列发生器用于根据所述序列发生器代码，产生激励事务，并将所述激励事务传送至所述驱动器；所述驱动器用于将所述激励事务转化为所述激励信号，并将所述激励信号发送至所述待测设计；所述监测器用于采集来自所述待测设计的响应信号，并将所述响应信号转化为响应事务，并将所述响应事务发送至所述验证控制组件；
所述参考模型用于基于所述参考模型代理，生成参考事务，并将所述参考事务发送至所述验证控制组件
。
[0013]在其中的一些实施例中，所述验证控制组件包括计分板；所述计分板用于比较所述响应信号中的所述目标仿真数据与所述参考事务中的所述参考数据，根据比较结果得出所述目标验证结果
。
[0014]第三个方面，在本实施例中提供了一种电子装置，包括存储器
、
处理器以及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述第一个方面所述的片上系统的验证方法
。
[0015]第四个方面，在本实施例中提供了一种存储介质，其上存储有计算机程序，该程序被处理器执行时实现上述第一个方面所述的片上系统的验证方法
。
[0016]与相关技术相比，在本实施例中提供本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种片上系统的验证方法，其特征在于，包括：根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，其中，所述测试向量中包含嵌入式
C
代码
、
序列发生器代码以及参考模型代码，所述嵌入式
C
代码
、
所述序列发生器代码以及所述参考模型代码的逻辑相对应；基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据，其中，所述待测设计为片上系统；基于所述参考模型代码，生成参考数据；将所述目标仿真数据和所述参考数据进行比较，并基于比较结果得到针对所述待测设计的目标验证结果
。2.
根据权利要求1所述的片上系统的验证方法，其特征在于，所述根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，包括：基于所述参数配置文件，获取参数配置信息；基于所述代码模板文件，获取嵌入式
C
模板
、
序列发生器模板以及参考模型模板；基于所述嵌入式
C
模板与所述参数配置信息，生成所述嵌入式
C
代码；基于所述序列发生器模板与所述参数配置信息，生成所述序列发生器代码；基于所述参考模型模板与所述参数配置信息，生成所述参考模型代码
。3.
根据权利要求2所述的片上系统的验证方法，其特征在于，所述基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据，包括：基于所述序列发生器代码，产生激励信号；在所述激励信号的作用下，基于所述待测设计运行所述嵌入式
C
代码，得到运行产生的所述目标仿真数据
。4.
一种片上系统的验证系统，其特征在于，所述验证系统包括测试向量生成组件
、
外部信号组件以及验证控制组件，其中：所述测试向量生成组件，用于根据预设的参数配置文件和代码模板文件，生成用于验证的测试向量，其中，所述测试向量中包含嵌入式
C
代码
、
序列发生器代码以及参考模型代码，所述嵌入式
C
代码
、
所述序列发生器代码以及所述参考模型代码的逻辑相对应；所述外部信号组件，用于基于所述嵌入式
C
代码和所述序列发生器代码，对待测设计进行仿真，得到所述待测设计的目标仿真数据；基于所述参考模型代码，生成参考数据；其中，所述待测设计为片上系统；所述验证控制组件，用于将所述目标仿真数据和所述参考数据进行比较，并基于比较结果得到针对所述待测设计的目标验证结果
...

【专利技术属性】
技术研发人员：刘兵，邓庆文，胡守雷，
申请(专利权)人：之江实验室，
类型：发明
国别省市：