[发明专利]一种基于五元组的包分类逻辑代码验证方法

摘要

本发明提供了一种基于五元组的包分类逻辑代码验证方法，建立逻辑验证平台，激励产生器，包分类规则产生器，包分类实现，以及自动比较器。本发明在板级测试之前，通过全面的逻辑功能验证，纠正潜在bug，提高设计质量，缩短项目开发时间。

主权项

一种基于五元组的包分类逻辑代码验证方法，其特征在于：建立逻辑验证平台，激励产生器，包分类规则产生器，包分类实现，以及自动比较器。验证步骤如下：A、激励器连续产生带约束的随机的基于TCP连接的网络包结构，包括各种异常连接情况，驱动逻辑工作；B、规则存储在片外SRAM中，存取位宽为72bits，根据软硬件接口协商的规则结构构造规则，生成COE文件，由SRAM仿真模型直接调用；C、测试代码中实现包分类模块，实现方法与逻辑代码完全相同，该模块根据上述两步中的激励和规则工作，产生输出并进行保存，该输出即为期望被测设计的输出；D、被测设计接收激励开始工作，从SRAM中读取规则，并根据规则产生相应处理动作，包括产生封堵包、日志包、上传，testbench通过PCIE仿真模型接收各种输出并分门别类进行保存；E、上述步骤C和D分别产生了期望被测设计输出和实际被测设计输出。本步骤根据保存的结构进行自动比较，规则两者存在差异，屏幕打印差异原因，配合questasim仿真软件找到逻辑产生bug原因，修正后进行重新测试。