一种加权轮询模块的验证方法、系统、设备以及介质技术方案

本申请提供了一种加权轮询模块的验证方法、系统、设备以及介质。所述方法包括：将多个激励序列输入加权轮询模块生成第一预期序列，其中，加权轮询模块被配置为采用第一权重比例对多个激励序列进行分配；将多个激励序列输入通用验证方法学平台生成第二预期序列，通用验证方法学平台被配置为采用第一权重比例对多个激励序列进行分配；将第一预期序列和第二预期序列进行乱序比对，得到第一比对结果；基于第一比对结果和第二比对结果确定加权轮询模块是否正确，第二比对结果包括加权轮询模块的多个第一队列各自的第一计数器的值和刷新和通用验证方法学平台的多个第二队列各自的第二计数器的值和刷新的对比结果。二计数器的值和刷新的对比结果。二计数器的值和刷新的对比结果。

【技术实现步骤摘要】
一种加权轮询模块的验证方法、系统、设备以及介质


[0001]本专利技术涉及芯片校验，尤其涉及一种加权轮询模块的验证方法、系统、设备以及介质。

技术介绍

[0002]对于加权轮询算法的验证，现有技术是通过对芯片进行原型验证和硬件仿真器进行全仿真。验证的案例、场景和内容受FPGA和硬件仿真器设备的限制，不灵活，不全面，可能造成芯片量产后巨大的风险。而且，硬件设备成本普遍非常高，很难满足普通用户的成本需求。

技术实现思路

[0003]本申请提供了一种加权轮询模块的验证方法、系统、设备以及介质，能够从宏观和微观层面对加权轮询算法进行验证，极大地提高了验证工程师的工作效率。
[0004]第一方面，提供了一种加权轮询模块的验证方法，将多个激励序列输入加权轮询模块并按照第一权重比例生成第一预期序列，其中，所述加权轮询模块被配置为采用第一权重比例对所述多个激励序列进行分配；将所述多个激励序列输入通用验证方法学平台并按照第一权重比例生成第二预期序列，其中，所述通用验证方法学平台被配置为采用第一权重比例对所述多个激励序列进行分配；将所述第一本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种加权轮询模块的验证方法，其特征在于，将多个激励序列输入加权轮询模块并按照第一权重比例生成第一预期序列，其中，所述加权轮询模块被配置为采用第一权重比例对所述多个激励序列进行分配；将所述多个激励序列输入通用验证方法学平台并按照第一权重比例生成第二预期序列，其中，所述通用验证方法学平台被配置为采用第一权重比例对所述多个激励序列进行分配；将所述第一预期序列和所述第二预期序列进行乱序比对，得到第一比对结果；基于所述第一比对结果和第二比对结果确定所述加权轮询模块是否正确，所述第二比对结果包括所述加权轮询模块的多个第一队列各自的第一计数器的值和刷新的比对结果和所述通用验证方法学平台的多个第二队列各自的第二计数器的值和刷新的对比结果；所述多个第一队列分别对应多个激励序列，所述多个第一队列对应的多个第一计数器，各个第一计数器各自的初始值是根据所述第一权重比例进行设置，在其中一个第一队列被轮询时，所述其中一个第一队列对应的第一计算器减去第一预设值或者加上所述第一预设值；所述多个第二队列分别对应多个激励序列，所述多个第二队列对应的多个第二计数器，各个第二计数器各自的初始值是根据所述第一权重比例进行设置，在其中一个第二队列被轮询时，所述其中一个第二队列对应的第二计算器减去所述第一预设值或者加上所述第一预设值。2.根据权利要求1所述的方法，其特征在于，所述第二比对结果还包括：对所述第一预期序列中各个第一队列中的报文的比重和所述第一权重比例之间的比对结果。3.根据权利要求1所述的方法，其特征在于，所述第二比对结果还包括：对所述第二预期序列中各个第二队列中的报文的比重和所述第一权重比例之间的比对结果。4.根据权利要求1至3任一项所述的方法，其特征在于，通过重载机制将所述多个第二队列中的至少一个第二队列的寄存器的正确配置信息修改错误配置，从而实现对所述寄存器的错误用例进行校验；或者，通过重载机制将所述多个第二队列中的至少一个第二队列的正确读取速率和正确写入速率修改为错误读取速率和错误写入速率，从而实现对上溢错误用例和/或下溢错误用例进行校验；或者，通过重载机制将所述多个第二队列中的至少一个第二队列对应的权重设置为零，从而对权重错误用例进行校验；通过重载机制在执行按照第一权重比例调度多个第二队列的过程中，将所述第一权重比例修改为第二权重比例，从而对调度冲突用例进行校验。5.根据权利要求1至3任一项所述的方法，其特征在于，所...

【专利技术属性】
技术研发人员：胡敏，
申请(专利权)人：珠海星云智联科技有限公司，
类型：发明
国别省市：