[发明专利]交换机芯片协同仿真的验证系统及方法有效
申请号: | 201510351370.4 | 申请日: | 2015-06-24 |
公开(公告)号: | CN105049234B | 公开(公告)日: | 2018-08-10 |
发明(设计)人: | 陶钧;方沛昱 | 申请(专利权)人: | 盛科网络(苏州)有限公司 |
主分类号: | H04L12/24 | 分类号: | H04L12/24 |
代理公司: | 南京利丰知识产权代理事务所(特殊普通合伙) 32256 | 代理人: | 王锋 |
地址: | 215000 江苏省苏州市*** | 国省代码: | 江苏;32 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 交换机芯片 验证系统 协同 验证 生成信息存储 信息匹配单元 自动化脚本 存储单元 仿真验证 集中管理 可扩展性 匹配信息 输出单元 向下兼容 消息信息 消息验证 验证方式 全面性 原有的 整块 存储 | ||
1.一种交换机芯片协同仿真的验证系统,其特征在于:包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块,所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中,所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中;所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证,所述消息验证模块包括消息信息匹配模块和状态信息匹配模块,所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较,若结果不匹配,则分别输出相应的不匹配信息。
2.根据权利要求1所述的交换机芯片协同仿真的验证系统,其特征在于,所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本,所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。
3.根据权利要求1所述的交换机芯片协同仿真的验证系统,其特征在于,所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本,所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。
4.一种交换机芯片协同仿真的验证方法,其特征在于,包括以下步骤:将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中;将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中;将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证的过程包括:将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配,若结果不匹配,则分别输出相应的不匹配信息。
5.根据权利要求4所述的交换机芯片协同仿真的验证方法,其特征在于,将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构,并通过消息验证自动化脚本,生成消息存储单元、消息匹配单元和不匹配消息输出单元。
6.根据权利要求4所述的交换机芯片协同仿真的验证方法,其特征在于,将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构,并通过状态验证自动化脚本,生成状态存储单元、状态匹配单元和不匹配状态输出单元。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于盛科网络(苏州)有限公司,未经盛科网络(苏州)有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201510351370.4/1.html,转载请声明来源钻瓜专利网。
- 上一篇:自适应电荷平衡的MOSFET技术
- 下一篇:一种晶体二极管的制造工艺