多级表项验证方法技术

本申请提供了一种多级表项验证方法

【技术实现步骤摘要】
多级表项验证方法、系统及计算机设备及介质


[0001]本申请涉及表项验证领域，尤其涉及一种多级表项验证方法
、
系统及计算机设备及介质
。

技术介绍

[0002]近几年来，随着科技和技术的飞速发展，网络交换设备的功能和性能也随之增强，为了实现各种交换协议的功能，芯片内部需要大量相关联的表项结构，当前基于
UVM
方法学，通过对单个模块输入输出进行监测，观察芯片功能是否正确实现，然而这种验证方法在单个功能所需表项较多，表项内容差异小，且表项耦合关系强时，由于验证方式较为单一，导致存在无法完全保证验证结果的可靠性的缺点，因此如何实现一种能针对多级表项进行高准确性验证，从而保证芯片输出准确的多表项验证方法，成为了一个急需解决的问题
。

技术实现思路

[0003]基于此，有必要针对上述问题，提出了一种能针对多级表项进行高准确性验证，从而保证芯片输出准确的多级表项验证方法
、
系统及计算机设备及介质
。
[0004]本申请提供了一种多级表项验证方法，包括：
[0005]对待验证对象进行仿真，从而生成若干个通路信息以及若干个表项内容信息，且所述待验证对象为预存在待验证芯片中的一个待验证表项；
[0006]将所述通路信息储存到一个设定资源池中，从而生成激励资源池，所述激励资源池用于从中随机提取出所述通路信息，并将提取出的所述通路信息记为激励信息；
[0007]将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个多级的待匹配多级表项；
[0008]判断所述待匹配多级表项是否与所述待验证对象匹配一致；
[0009]若是，则判定所述待验证芯片的输出验证成功
。
[0010]进一步的，所述待匹配多级表项内包含若干个首级识别表项以及次级识别表项，所述激励信息中包含与所述首级识别表项匹配的首级查表
KEY
值以及与所述次级识别表项匹配的次级查表
KEY
值；
[0011]则所述将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个多级的待匹配多级表项的步骤，具体包括：
[0012]判断各个所述首级识别表项以及所述次级识别表项之间是否存在耦合关系；
[0013]若是，则根据所述首级查表
KEY
值从所述表项内容信息中提取对应内容，从而生成所述首级识别表项；
[0014]根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值；
[0015]将所述设定查表
KEY
值存入到所述通路信息中后，根据所述设定查表
KEY
值以及所述次级查表
KEY
值从所述表项内容中提取对应内容，从而生成所述次级识别表项；
[0016]将所述首级识别表项以及所述次级识别表项按照设定关系进行耦合，从而生成所
述待匹配多级表项
。
[0017]进一步的，所述根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值的步骤之后，还包括：
[0018]判断所述激励信息中是否存在查表流程耦合词条，所述查表流程耦合词条用于查询所述首级识别表项；
[0019]若是，则将所述设定查表
KEY
值以及所述查表流程耦合词条存入到所述通路信息中后，根据所述设定查表
KEY
值以及所述次级查表
KEY
值从所述表项内容中提取对应内容，从而生成所述次级识别表项
。
[0020]进一步的，所述根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值的步骤之后，还包括：
[0021]判断所述激励信息是否存在查表结果耦合词条，所述查表结果耦合词条用于控制所述首级识别表项的输出结果；
[0022]若是，则将所述首级查表
KEY
值以及所述查表结果耦合词条存入到所述通路信息中；
[0023]根据所述首级查表
KEY
值从所述表项内容中提取对应内容，从而生成所述首级识别表项；
[0024]提取所述首级识别表项中所包含的所述表项内容，并记为待输出表项信息；
[0025]将所述待输出表项信息以及所述查表结果耦合词条进行合并输出
。
[0026]进一步的，所述将所述通路信息储存到一个设定资源池中，从而生成激励资源池，所述激励资源池用于从中随机提取出所述通路信息，并将提取出的所述通路信息记为激励信息的步骤之后，还包括：
[0027]将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个单级的待匹配单级表项；
[0028]判断所述待匹配单级表项是否与所述待验证对象匹配一致；
[0029]若是，则判定所述待验证芯片的输出验证成功
。
[0030]进一步的，所述待匹配单级表项内包含若干个单级识别表项，所述激励信息中包含与所述单级识别表项匹配的单级查表
KEY
值；
[0031]则所述将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个单级的待匹配单级表项的步骤，具体包括：
[0032]根据所述单级查表
KEY
值从所述单级识别表项中提取对应内容，从而生成所述待匹配单级表项
。
[0033]进一步的，所述激励资源池用于从中随机提取出所述通路信息，并将提取出的所述通路信息记为激励信息的步骤，具体包括：
[0034]按照设定规则从所述激励资源池中随机抽取所述通路信息，并将抽取出的所述通路信息记为待验证信息；
[0035]判断所述待验证信息是否存在于所述待验证对象中；
[0036]若是，则将所述待验证信息记为所述激励信息
。
[0037]本申请还提供了一种多级表项验证系统，包括：
[0038]仿真单元，用于对待验证对象进行仿真，从而生成若干个通路信息以及若干个表
项内容信息，且所述待验证对象为预存在待验证芯片中的一个待验证表项；
[0039]储存单元，用于将所述通路信息储存到一个设定资源池中，从而生成激励资源池，所述激励资源池用于从中随机提取出所述通路信息，并将提取出的所述通路信息记为激励信息；
[0040]表项生成单元，用于将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个多级的待匹配多级表项；
[0041]判断单元，用于判断所述待匹配多级表项是否与所述待验证对象匹配一致；
[0042]输出单元，用于判断若是，则判定所述待验证芯片的输出验证成功
。
[0043]一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，所述计算机程序被所述处理器执行时，使本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种多级表项验证方法，其特征在于，包括：对待验证对象进行仿真，从而生成若干个通路信息以及若干个表项内容信息，且所述待验证对象为预存在待验证芯片中的一个待验证表项；将所述通路信息储存到一个设定资源池中，从而生成激励资源池，所述激励资源池用于从中随机提取出所述通路信息，并将提取出的所述通路信息记为激励信息；将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个多级的待匹配多级表项；判断所述待匹配多级表项是否与所述待验证对象匹配一致；若是，则判定所述待验证芯片的输出验证成功
。2.
如权利要求1所述的多级表项验证方法，其特征在于，所述待匹配多级表项内包含若干个首级识别表项以及次级识别表项，所述激励信息中包含与所述首级识别表项匹配的首级查表
KEY
值以及与所述次级识别表项匹配的次级查表
KEY
值；则所述将所述激励信息以及所述表项内容信息输入到所述待验证芯片进行仿真，从而输出一个多级的待匹配多级表项的步骤，具体包括：判断各个所述首级识别表项以及所述次级识别表项之间是否存在耦合关系；若是，则根据所述首级查表
KEY
值从所述表项内容信息中提取对应内容，从而生成所述首级识别表项；根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值；将所述设定查表
KEY
值存入到所述通路信息中后，根据所述设定查表
KEY
值以及所述次级查表
KEY
值从所述表项内容中提取对应内容，从而生成所述次级识别表项；将所述首级识别表项以及所述次级识别表项按照设定关系进行耦合，从而生成所述待匹配多级表项
。3.
如权利要求2所述的多级表项验证方法，其特征在于，所述根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值的步骤之后，还包括：判断所述激励信息中是否存在查表流程耦合词条，所述查表流程耦合词条用于查询所述首级识别表项；若是，则将所述设定查表
KEY
值以及所述查表流程耦合词条存入到所述通路信息中后，根据所述设定查表
KEY
值以及所述次级查表
KEY
值从所述表项内容中提取对应内容，从而生成所述次级识别表项
。4.
如权利要求2所述的多级表项验证方法，其特征在于，所述根据设定规则对所述首级识别表项进行查表获取，从而获取出设定查表
KEY
值的步骤之后，还包括：判断所述激励信息是否存在查表结果耦合词条，所述查表结果耦合词条用于控制所述首级识别表项的输出结果；若是，则将所述首级查表
KEY
值以及所述查表结果耦合词条存入到所述通路信息中；根据所述首级查表
KEY

【专利技术属性】
技术研发人员：陈洋，王岩，成玉娟，王立佳，张兵，
申请(专利权)人：成都市楠菲微电子有限公司，
类型：发明
国别省市：