[发明专利]交换机芯片协同仿真的验证系统及方法

说明书

本发明揭示了一种交换机芯片协同仿真的验证系统及方法，通过设计一种有效的消息验证接口，将所有需要验证的消息信息集中管理和存储；同时利用自动化脚本，生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分；在验证的时候对整块存储单元进行比较。本发明既能向下兼容原有的验证方式，又增加了可扩展性和灵活性，更提高交换机芯片协同仿真验证的全面性和可靠性。

技术领域

本发明涉及交换机芯片功能仿真技术领域，尤其是涉及一种交换机芯片协同仿真的验证系统及方法。

背景技术

在传统的交换机芯片协同仿真系统中，我们需要通过存储不同模块间传递的消息来进行验证。随着芯片日益加剧的复杂性，这些消息结构会越来越大，而且，现在往往还需要实时地对芯片中的一些统计、状态进行监控和记录。

传统交换机芯片协同仿真系统中的消息验证模块如图1所示，是将芯片模块中所有的消息和状态以及仿真系统中模块的所有消息和状态都交给消息验证模块中去完成整个验证工作，这样就会导致消息验证模块中数据量大，使得验证过程比较繁琐。

且现有消息验证模块中对消息进行验证时，是对每条消息进行逐一比较，整个验证过程不是很高效和灵活。

发明内容

本发明的目的在于克服现有技术的缺陷，提供一种交换机芯片协同仿真的验证系统及方法，通过设计一种有效的消息验证接口，以实现更简便、更全面、更可靠、更灵活的验证工作。

为实现上述目的，本发明提出如下技术方案：一种交换机芯片协同仿真的验证系统，包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块，所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中，所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中，所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证。

优选地，所述消息验证模块包括消息信息匹配模块和状态信息匹配模块，所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较。

优选地，所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本，所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。

优选地，所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本，所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。

本发明还揭示了一种交换机芯片协同仿真的验证方法，包括以下步骤：

将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中；将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中；

将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。

优选地，将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配，若结果不匹配，则分别输出相应的不匹配信息。