一种卫星通信频偏验证方法技术

本发明专利技术涉及一种卫星通信频偏验证方法，属于专用集成电路验证技术领域。该方法针对卫星通信基带芯片中的频偏模块，以目前集成电路验证中比较流行的OVM验证方法学为验证系统的基础架构，将基于事务验证技术、覆盖率驱动验证技术以及基于断言的验证技术融入其中，并与C算法模型进行联合仿真，实现自动化对比和连续仿真，提高验证效率，缩短验证周期。本验证方法实现了卫星通信基带芯片频偏模块的功能验证，提高了频偏模块的验证效率，并可以在卫星通信基带芯片的一次性流片的成功中发挥不可忽视的作用。

【技术实现步骤摘要】
一种卫星通信频偏验证方法
本专利技术属于专用集成电路验证
，涉及一种卫星通信频偏验证方法。
技术介绍
ASIC芯片开发过程中，功能验证所需要的时间往往占到整个芯片开发时间的70％以上，往往设计的抽象级越高，设计就越简单，但是同时产生的设计漏洞却可能会更多，如果是架构上的缺陷，那么对芯片的损害更是不可估计的，因此在流片之前的功能仿真验证对于整个验证过程就是重中之重了。当前基于仿真的功能验证技术主要有以下三种：基于事务的验证技术、基于覆盖率驱动的验证技术、基于断言的验证技术。基于事务的技术主要是通过事务验证模型TVM将事务级别的信息转换成验证模块所需要的信号级数字信息，并将其驱动到测试模块中以完成对被测模块的功能验证，它是以事务验证模型TVM(TransactionVerificationModel)为核心的，事务验证模型通过将现有的事务级测试用例转换成带测试设计所需要的信号级信息，这种验证方法不需要制定具体的协议，只需要定义好信号的传输方向即可，具有很好的复用性，但是当待测设计的功能不相同时，需要的接口类型和数量就可能不相同，这时就需要多个不同的验证模型以满足验证需求。在功能验证过程中，覆盖率是衡量验证是否完备的一个重要标准，并贯穿于整个验证过程。基于覆盖率驱动的验证技术就是通过在验证过程中对待测模块的功能覆盖率和代码覆盖率信息进行统计进而来判断待测模块是否正确可行，并作为指导下一步的验证计划制定中的一个重要指标。但是这种验证技术需要定义功能覆盖点，而定义的覆盖点是否完备就需要对待测模块有一定的了解，随着设计规模和复杂度的不断提高，功能覆盖点也越来越多，这就需要在验证中不断的对覆盖点进行完善以满足设计和验证的需求。基于断言的验证主要是通过在待测设计中插入断言来快速定位设计中的错误的方法来提高验证的效率。但是这种验证技术对测试模块的外部功能属性的验证效率提高不大，只适用于验证测试模块内部的功能，并且该验证技术是基于时钟驱动的，因此也不适合与时钟无关的设计模块的功能验证。
技术实现思路
有鉴于此，本专利技术的目的在于提供一种卫星通信频偏验证方法，该方法针对卫星通信基带芯片中的频偏模块，以目前集成电路验证中比较流行的OVM验证方法学为验证系统的基础架构，将基于事务验证技术、覆盖率驱动验证技术以及基于断言的验证技术融入其中，并与C算法模型进行联合仿真，实现自动化对比和连续仿真，提高验证效率，缩短验证周期。为达到上述目的，本专利技术提供如下技术方案：一种卫星通信频偏验证方法，包括以下步骤：步骤一：以OVM验证方法学中树形结构作为整个验证系统的基础架构，搭建基本的验证系统框架；在OVM树形结构中，各OVC(OpenVerificationComponent)组件为树中的节点，这些OVC组件包括Environment，Agent，Monitor，Driver，Sequencer，Reference，Scoreboard等，其中树的节点又分为父节点和子节点，在父节点所代表的OVC组件中可以声明新建子节点所代表的OVC组件作为其内部变量，通过这种层层控制的方法，实现验证组件中的协调工作。步骤二：根据卫星通信芯片中频偏模块的功能特征定义事务级数据项(item)，这些事务级数据项通过SystemVerilog验证语言中的类来实现，如果有特殊需求可以定义多个事务数据项，以方便后续的验证工作，这里需要定义两个事务数据项，一个用于传递频偏模块的参数配置信息，一个用于后面自动化对比，即自检所需要的输出数据。步骤三：根据频偏模块的端口信号，定义接口interface，便于验证系统和待测设计之间的通信，减少信号连接错误的可能性。步骤四：由于DPI传递的变量需要两个相匹配的定义，一个是SystemVerilog的，一个是C语言的，因此根据频偏模块端口信号，在不改变C算法的前提下，将C算法中的配置参数转换成与SystemVerilog验证语言中对应映射关系的数据类型，为后面的DPI调用做准备。步骤五：根据频偏模块功能特征，按照需求在Driver或者Monitor中创建仓，定义覆盖组和覆盖点，并实例化。步骤六：设计整个验证系统的top层，在top层需要实现全局变量的定义，时钟clk的产生，C算法的DPI声明、验证系统和待测设计之间的例化、验证系统和待测设计之间的互连、待测设计的初始化工作以及验证系统的启动。步骤七：根据验证目标添加测试用例，进行定向和随机测试。进一步，在步骤五中，如果有特定的时序需要监督检查，可增加断言进行检测。本专利技术的有益效果在于：与传统的验证系统或者方法相比,本方法以OVM验证方法学中的树形结构为验证系统的基本架构，并融入当前的一些主流的验证方法，包括基于事务的验证方法、基于覆盖率驱动的验证方法以及基于断言的验证方法等，实现了卫星通信基带芯片频偏模块的功能验证，提高了频偏模块的验证效率，并可以在卫星通信基带芯片的一次性流片的成功中发挥不可忽视的作用。附图说明为了使本专利技术的目的、技术方案和有益效果更加清楚，本专利技术提供如下附图进行说明：图1为本专利技术中验证系统中的OVM树形结构图；图2为本专利技术中验证系统架构图；图3为本专利技术中验证系统执行流程图。具体实施方式下面将结合附图，对本专利技术的优选实施例进行详细的描述。图1为本专利技术中验证系统中的OVM树形结构图，如图所示：以OVM的树形结构的频偏模块验证系统的具有明晰的从属关系，这对验证系统中的事务数据的传递的管理很重要，能够合理的安排树形结构中作为节点的OVC组件之间的数据传递。这里的节点分为两种，父节点和子节点，在父节点中可以声明一个或多个子节点的所代表的OVC组件并将其作为内部变量，这样通过层层递进的方法实现各OVC组件之间的协调工作，使整个验证系统能够合理有效的运行。OVM树形结构中的OVC组件的具体构建过程如下：1.由图1可知在整个OVM树形结构图中，Env是最顶层并将所有的OVC组件整合到一起，在Env中，首先需要对子节点进行声明，这些子字节点所代表的OVC组件包括Agent、Reference、Scoreboard，由于验证系统中需要对待测的频偏模块进行一些参数的配置，并且频偏验证系统运行时需要对频偏模块运行结果进行监督检测，所以需要两个不同agent。其次在Env中需要声明OVM库所自带的FIFO，并通过FIFO将这些OVC组件连接起来，连接方式通过OVM的所特有的port进行的，使它们能够进行正常的事务级通信。2.当Env构建完成后，需要对Agent进行模式配置，在Agent中需要对Driver、Sequencer、Monitor以及事务级数据传递所要的port进行定义声明，当验证系统需要产生或发送频偏模块启动运行所需的数据时，将Agent配置为ACTIVE模式，在该模式下完成对Sequencer和Driver的例化，此时Monitor处于非工作状态，当需要捕获频偏模块的输出结果时，将Agent配置为PASSIVE模式，在该模式下会实例化Monitor模块，为验证系统运时行监测待测的频偏模块的输出结果做铺垫。在这完成这些子节点的实例化工作后，就需要根据所配置的Agent的模式，将其连接到Interface接口上，使验证系统能够与频偏模块进行正常数据的交互。3.在Agen本文档来自技高网...

【技术保护点】
一种卫星通信频偏验证方法，其特征在于：包括以下步骤：步骤一：以OVM验证方法学中树形结构作为整个验证系统的基础架构，搭建基本的验证系统框架；步骤二：根据卫星通信芯片中频偏模块的功能特征定义事务级数据项；步骤三：根据频偏模块的端口信号，定义接口interface，便于验证系统和待测设计之间的通信，减少信号连接错误的可能性；步骤四：根据频偏模块端口信号，在不改变C算法的前提下，将C算法中的配置参数转换成与System Verilog验证语言中对应映射关系的数据类型，为后面的DPI调用做准备；步骤五：根据频偏模块功能特征，按照需求在Driver或者Monitor中创建仓，定义覆盖组和覆盖点，并实例化；步骤六：设计整个验证系统的top层，在top层需要实现全局变量的定义，时钟clk的产生，C算法的DPI声明、验证系统和待测设计之间的接口例化、验证系统和待测设计之间的互连、待测设计的初始化工作以及验证系统的启动；步骤七：根据验证目标添加测试用例，进行定向和随机测试。

【技术特征摘要】
1.一种卫星通信频偏验证方法，其特征在于：包括以下步骤：步骤一：以OVM验证方法学中树形结构作为整个验证系统的基础架构，搭建基本的验证系统框架；步骤二：根据卫星通信芯片中频偏模块的功能特征定义事务级数据项；步骤三：根据频偏模块的端口信号，定义接口interface，便于验证系统和待测设计之间的通信，减少信号连接错误的可能性；步骤四：根据频偏模块端口信号，在不改变C算法的前提下，将C算法中的配置参数转换成与SystemVerilog验证语言中对应映射关系的数据类型，为后面的DPI调用做准备；步骤五：根据频偏模块功能特征，按照需求在Driver或者Monitor中创建仓，定义覆盖组和覆盖点，并实例化；步骤六：设计整个验证系统的top层，在top层需要实现全局变量的定义，时钟clk的...

【专利技术属性】
技术研发人员：李云，张正，刘期烈，曹傧，
申请(专利权)人：重庆邮电大学，
类型：发明
国别省市：重庆;85