CN105049234A - 交换机芯片协同仿真的验证系统及方法 - Google Patents
交换机芯片协同仿真的验证系统及方法 Download PDFInfo
- Publication number
- CN105049234A CN105049234A CN201510351370.4A CN201510351370A CN105049234A CN 105049234 A CN105049234 A CN 105049234A CN 201510351370 A CN201510351370 A CN 201510351370A CN 105049234 A CN105049234 A CN 105049234A
- Authority
- CN
- China
- Prior art keywords
- information
- state
- chip
- memory cell
- analogue system
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
本发明揭示了一种交换机芯片协同仿真的验证系统及方法,通过设计一种有效的消息验证接口,将所有需要验证的消息信息集中管理和存储;同时利用自动化脚本,生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分;在验证的时候对整块存储单元进行比较。本发明既能向下兼容原有的验证方式,又增加了可扩展性和灵活性,更提高交换机芯片协同仿真验证的全面性和可靠性。
Description
技术领域
本发明涉及交换机芯片功能仿真技术领域,尤其是涉及一种交换机芯片协同仿真的验证系统及方法。
背景技术
在传统的交换机芯片协同仿真系统中,我们需要通过存储不同模块间传递的消息来进行验证。随着芯片日益加剧的复杂性,这些消息结构会越来越大,而且,现在往往还需要实时地对芯片中的一些统计、状态进行监控和记录。
传统交换机芯片协同仿真系统中的消息验证模块如图1所示,是将芯片模块中所有的消息和状态以及仿真系统中模块的所有消息和状态都交给消息验证模块中去完成整个验证工作,这样就会导致消息验证模块中数据量大,使得验证过程比较繁琐。
且现有消息验证模块中对消息进行验证时,是对每条消息进行逐一比较,整个验证过程不是很高效和灵活。
发明内容
本发明的目的在于克服现有技术的缺陷,提供一种交换机芯片协同仿真的验证系统及方法,通过设计一种有效的消息验证接口,以实现更简便、更全面、更可靠、更灵活的验证工作。
为实现上述目的,本发明提出如下技术方案:一种交换机芯片协同仿真的验证系统,包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块,所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中,所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中,所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证。
优选地,所述消息验证模块包括消息信息匹配模块和状态信息匹配模块,所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较。
优选地,所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本,所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。
优选地,所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本,所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。
本发明还揭示了一种交换机芯片协同仿真的验证方法,包括以下步骤:
将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中;将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中;
将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。
优选地,将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配,若结果不匹配,则分别输出相应的不匹配信息。
优选地,将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构,并通过消息验证自动化脚本,生成消息存储单元、消息匹配单元和不匹配消息输出单元。
优选地,将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构,并通过状态验证自动化脚本,生成状态存储单元、状态匹配单元和不匹配状态输出单元。
本发明的有益效果是:本发明提出了一种有效的模拟交换机芯片协同仿真系统的验证方法,把芯片语言和协同仿真语言完美的结合了起来,并且在消息验证模块中引入了一个自动化的过程,只需要模块和消息结构两要素,就可以自动进行信息存储、信息匹配、不匹配信息输出的工作,这个验证方法既能向下兼容原有的验证方式,又增加了可扩展性和灵活性,更提高交换机芯片协同仿真验证的全面性和可靠性。
附图说明
图1是现有的交换机芯片协同仿真的验证方法的原理示意图;
图2是本发明实施例交换机芯片协同仿真的验证系统的结构框图;
图3是本发明实施例交换机芯片协同仿真的验证系统的验证原理示意图;
图4是本发明实施例消息验证模块的原理示意图。
具体实施方式
下面将结合本发明的附图,对本发明实施例的技术方案进行清楚、完整的描述。
如图2所示,本发明实施例所揭示的一种交换机芯片协同仿真的验证系统,包括芯片、芯片消息信息存储单元、芯片状态信息存储单元、消息验证模块、仿真系统消息信息存储单元、仿真系统状态信息存储单元和仿真系统,以芯片中模块A及仿真系统中模块A为例,将芯片模块A中需要验证的消息信息和状态信息抽离出来,分别存储到芯片模块A对应的芯片消息信息存储单元和芯片状态信息存储单元中;对应的,将仿真系统模块A中需要验证的消息信息和状态信息抽离出来,分别存储到仿真模块A对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中,最后,将芯片消息信息存储单元和仿真系统消息信息存储单元内存储的消息信息,以及芯片状态信息存储单元和仿真系统状态信息存储单元内存储的状态信息一起发送给消息验证模块去完成整个验证工作。
如图3所示,消息验证模块内包括消息信息匹配模块和状态信息匹配模块,将芯片消息信息存储单元和仿真系统消息信息存储单元内存储的消息信息发送到消息信息匹配模块内进行存储单元级的比较匹配,如果结果匹配,就说明验证通过;如果不匹配,则输出具体的不匹配的信息,方便后续的分析和定位。对应的,将芯片状态信息存储单元和仿真系统状态信息存储单元内存储的状态信息发送到对应的状态信息匹配模块内进行存储单元级的比较匹配,如果结果匹配,就说明验证通过;如果不匹配,则输出具体的不匹配的信息。
为了增强消息验证模块验证功能的可扩展性和灵活性,本发明在消息验证模块中加入一套自动化的优化过程。在消息验证模块有两个关键的要素,一个是模块;一个是信息,本发明把对于给定的模块中消息信息和存储信息分别给出对应的消息信息存储单元数据结构和存储信息存储单元数据结构。具体地,如图4所示,消息信息匹配模块和状态信息匹配模块包括对应的信息存储模块、信息存储单元数据结构和信息验证自动化脚本。即消息信息匹配模块包括对消息信息存储模块、消息信息存储单元数据结构和消息信息验证自动化脚本,消息信息存储单元数据结构和消息信息存储模块通过消息信息验证自动化脚本,分别生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分;状态信息匹配模块包括对状态信息存储模块、状态信息存储单元数据结构和状态信息验证自动化脚本,状态信息存储单元数据结构和状态信息存储模块通过状态信息验证自动化脚本,分别生成状态存储单元、状态匹配单元和不匹配状态输出单元三个部分。
这样,对于任一模块,都可以按照验证自动化脚本的规则,自动化生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分。这样一来,不但不用再担心信息结构的变化所带来的繁琐的工作量,只要自动化生成一下就可以了;而且还极大地增强的验证功能的可扩展性和灵活性:不论是消息、状态、统计等等,都可以按照这样的规则来执行。
对应的,本发明还揭示了一种交换机芯片协同仿真的验证方法,包括以下步骤:
步骤1,将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中;将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中。
步骤2,将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。
具体地,将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配,若结果不匹配,则分别输出相应的不匹配信息。
另外,优选地,为了增强消息验证模块验证功能的可扩展性和灵活性,将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构,并通过消息验证自动化脚本,生成消息存储单元、消息匹配单元和不匹配消息输出单元。同样,将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构,并通过状态验证自动化脚本,生成状态存储单元、状态匹配单元和不匹配状态输出单元。
本发明通过设计一种有效的消息验证接口,将所有需要的消息信息集中管理和存储。在验证的时候也抛弃了以前对每条消息的逐一比较,而采用整块存储模块进行比较,这样,一方面可以向下兼容原有的验证方式,另一方面增加了可扩展性和灵活性;同时,也得到了芯片中的统计、状态等信息,增加了验证的全面性和可靠性。
本发明的技术内容及技术特征已揭示如上,然而熟悉本领域的技术人员仍可能基于本发明的教示及揭示而作种种不背离本发明精神的替换及修饰,因此,本发明保护范围应不限于实施例所揭示的内容,而应包括各种不背离本发明的替换及修饰,并为本专利申请权利要求所涵盖。
Claims (8)
1.一种交换机芯片协同仿真的验证系统,其特征在于:包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块,所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中,所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中;所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证。
2.根据权利要求1所述的交换机芯片协同仿真的验证系统,其特征在于,所述消息验证模块包括消息信息匹配模块和状态信息匹配模块,所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较。
3.根据权利要求2所述的交换机芯片协同仿真的验证系统,其特征在于,所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本,所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。
4.根据权利要求2所述的交换机芯片协同仿真的验证系统,其特征在于,所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本,所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。
5.一种交换机芯片协同仿真的验证方法,其特征在于,包括以下步骤:
将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中;将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中;
将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。
6.根据权利要求5所述的交换机芯片协同仿真的验证方法,其特征在于,将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配,若结果不匹配,则分别输出相应的不匹配信息。
7.根据权利要求6所述的交换机芯片协同仿真的验证方法,其特征在于,将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构,并通过消息验证自动化脚本,生成消息存储单元、消息匹配单元和不匹配消息输出单元。
8.根据权利要求6所述的交换机芯片协同仿真的验证方法,其特征在于,将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构,并通过状态验证自动化脚本,生成状态存储单元、状态匹配单元和不匹配状态输出单元。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510351370.4A CN105049234B (zh) | 2015-06-24 | 2015-06-24 | 交换机芯片协同仿真的验证系统及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510351370.4A CN105049234B (zh) | 2015-06-24 | 2015-06-24 | 交换机芯片协同仿真的验证系统及方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105049234A true CN105049234A (zh) | 2015-11-11 |
CN105049234B CN105049234B (zh) | 2018-08-10 |
Family
ID=54455456
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510351370.4A Active CN105049234B (zh) | 2015-06-24 | 2015-06-24 | 交换机芯片协同仿真的验证系统及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105049234B (zh) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1910588A (zh) * | 2004-01-20 | 2007-02-07 | 松下电器产业株式会社 | 验证装置和验证方法 |
CN103178996A (zh) * | 2013-03-15 | 2013-06-26 | 烽火通信科技股份有限公司 | 分布式包交换芯片模型验证系统及验证方法 |
CN103580954A (zh) * | 2013-10-29 | 2014-02-12 | 盛科网络(苏州)有限公司 | 交换机芯片软件仿真验证的装置及方法 |
US20150127983A1 (en) * | 2010-12-23 | 2015-05-07 | Intel Corporation | Test, validation, and debug architecture |
-
2015
- 2015-06-24 CN CN201510351370.4A patent/CN105049234B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1910588A (zh) * | 2004-01-20 | 2007-02-07 | 松下电器产业株式会社 | 验证装置和验证方法 |
US20150127983A1 (en) * | 2010-12-23 | 2015-05-07 | Intel Corporation | Test, validation, and debug architecture |
CN103178996A (zh) * | 2013-03-15 | 2013-06-26 | 烽火通信科技股份有限公司 | 分布式包交换芯片模型验证系统及验证方法 |
CN103580954A (zh) * | 2013-10-29 | 2014-02-12 | 盛科网络(苏州)有限公司 | 交换机芯片软件仿真验证的装置及方法 |
Also Published As
Publication number | Publication date |
---|---|
CN105049234B (zh) | 2018-08-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103514410B (zh) | 电子合同的可信保全与证据提取系统及方法 | |
US9483386B2 (en) | Information interaction test device and method based on automatic generation of associated test cases | |
CN102594914B (zh) | 一种基于云平台的远程调试方法 | |
CN102521122B (zh) | 面向动态场景的测试序列生成方法 | |
CN102650966A (zh) | 一种面向复用的嵌入式软件测试方法及其测试系统 | |
EP3379436B1 (en) | Method and apparatus for testing design of satellite wiring harness and signal processing units | |
CN104572153A (zh) | 一种用于车辆刷新的刷新数据转换方法 | |
CN104376431A (zh) | 一种工程项目管理方法及系统 | |
CN103577402A (zh) | 任务添加、修改以及管理方法及任务管理系统 | |
CN104461765A (zh) | 基于版本校验的联锁系统数据准确性检测方法 | |
CN105978147A (zh) | 基于文件交互的安全自动装置远程定值修改系统 | |
CN109582524A (zh) | 一种测试方法、系统及电子设备和存储介质 | |
CN106294036A (zh) | 一种硬件故障验证方法、装置及客户端 | |
CN102402470A (zh) | 闪存程序自动纠错修复方法及装置 | |
KR101387347B1 (ko) | 발전소 dcs 로직 다이어그램 시뮬레이션장치 및 그 방법 | |
CN112860587B (zh) | Ui自动测试方法和装置 | |
CN109063468A (zh) | 一种安装包完整性验证及修复的方法 | |
CN103311584B (zh) | 电池单元、终端设备以及电池验证方法 | |
CN105049234A (zh) | 交换机芯片协同仿真的验证系统及方法 | |
CN108153896A (zh) | 针对输入数据、输出数据的处理方法及装置 | |
CN104408167A (zh) | 一种基于django扩展Hue中sqoop功能的方法 | |
CN105825450A (zh) | 电子商务创业实训系统 | |
KR101759893B1 (ko) | 분산자원 모의운전을 위한 시나리오 기반 가상장비 관리 장치 | |
CN105577424A (zh) | 一种基于数据溯源图的数据资产质量监测方法 | |
CN104636131A (zh) | 一种特殊指令的执行方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CP01 | Change in the name or title of a patent holder | ||
CP01 | Change in the name or title of a patent holder |
Address after: 215000 unit 13 / 16, 4th floor, building B, No.5 Xinghan street, Suzhou Industrial Park, Jiangsu Province Patentee after: Suzhou Shengke Communication Co.,Ltd. Address before: 215000 unit 13 / 16, 4th floor, building B, No.5 Xinghan street, Suzhou Industrial Park, Jiangsu Province Patentee before: CENTEC NETWORKS (SU ZHOU) Co.,Ltd. |