CN1224216C - 宽带通信逻辑仿真平台设计的验证方法 - Google Patents

宽带通信逻辑仿真平台设计的验证方法 Download PDF

Info

Publication number
CN1224216C
CN1224216C CN 03148085 CN03148085A CN1224216C CN 1224216 C CN1224216 C CN 1224216C CN 03148085 CN03148085 CN 03148085 CN 03148085 A CN03148085 A CN 03148085A CN 1224216 C CN1224216 C CN 1224216C
Authority
CN
China
Prior art keywords
message
zone
attribute
platform
data message
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.)
Expired - Fee Related
Application number
CN 03148085
Other languages
English (en)
Other versions
CN1472927A (zh
Inventor
牟景辉
张绢
郝迁
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Huawei Digital Technologies Chengdu Co Ltd
Original Assignee
Harbour Networks Holdings Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Harbour Networks Holdings Ltd filed Critical Harbour Networks Holdings Ltd
Priority to CN 03148085 priority Critical patent/CN1224216C/zh
Publication of CN1472927A publication Critical patent/CN1472927A/zh
Application granted granted Critical
Publication of CN1224216C publication Critical patent/CN1224216C/zh
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
    • G01R31/318314—Tools, e.g. program interfaces, test suite, test bench, simulation hardware, test compiler, test program languages

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)

Abstract

本发明涉及一种宽带通信逻辑仿真平台设计的验证方法，其步骤为构造带有附加信息区域的激励数据报文；生成这种结构的任意数据流模型的激励报文，并输入仿真平台；接收端口配置各目的端口的属性；接收端口接收仿真平台的逻辑输出，并重组报文；根据重组报文确定验证结果。本发明以较小的代价，使数据报文本身携带有用信息，而不需要golden rule或是构造模式的方式来做TESTBENCH，有效降低了通常仿真验证的前期准备工作，并且通用性强，可以有效构建数据流模型，简单易行，便于移植。可广泛应用于宽带通信的逻辑仿真设计领域。

Description

宽带通信逻辑仿真平台设计的验证方法
技术领域：
本发明涉及宽带通信领域逻辑设计中的仿真平台设计，尤其涉及一种逻辑仿真平台设计的验证方法。
背景技术：
目前在宽带通信领域的逻辑仿真设计中主要使用两种方法来验证逻辑功能是否正确：一、golden rule法，即使用已被证明是正确的激励，把得到的新的仿真结果与以前已被证明是正确的结果相比较，判断被测逻辑的同一功能是否正确；二、模型模式，即先通过抽象行为级建模，建立逻辑功能模型。验证该模型正确后，把同一组激励同时作用于行为级模型和rtl级被仿真代码，把行为级模型的响应作为rtl级的检验标准。以上第一种方法需要一定的技术实现积累，第二种方法需要较长时间的长期准备，不适应目前的逻辑设多是全新设计的实际情况，而且不易定位被测逻辑功能出错点，不易做到数据报文的分层特性校验和统计。被测逻辑出错时，得到的信息比较模糊，需要仔细分析。
发明内容：
本发明针对上述实际情况提出一种新的逻辑仿真验证方法，不需要行为建模或是应用golden rule。
本发明的宽带通信逻辑仿真平台设计的验证方法，其步骤包括：
1)构造激励报文：
在数据报文净荷区建立三段信息区域：属性区域，报文号区域和报文校验区域，其中属性区域标识报文属性和组号；报文号区域标识数据报文序列号；报文校验区域设置该数据报文净荷区其余部分的校验码；
2)生成带上述结构的任意数据流模型的激励报文，输入仿真平台；
3)接收端口配置各目的端口的属性；其中接收端口为实际接收到数据包的端口，目的端口为数据包应该到达的端口；
4)接收端口接收仿真平台的逻辑输出，并重组报文；
5)根据重组报文的信息区域确定验证结果：
数据报文净荷区还建立VLAN区域，标识VLAN网的有无和组号；根据重组报文的属性区域和VLAN区域确定该数据报文是否到达正确端口；
根据其报文号区域确定报文是否丢失；
根据其报文校验区域确定传输过程是否有净荷损失。
属性区域标识报文属性为保留，广播，组播和单播；
报文号区域标识顺序的数据报文序列号；
报文校验区设置该数据报文净荷区其余部分的CRC校验码；
本发明采用手工设定或随机生成的方式生成带上述结构的任意数据流模型的激励报文。
本发明以较小的代价，使数据报文本身携带有用信息，而不需要golden rule或是构造模式的方式来做TESTBENCH。通过接收端口对比端口属性和附加信息判决被测逻辑功能是否正确。有效降低了通常仿真验证的前期准备工作，并且通用性强，可以有效构建数据流模型，简单易行，便于移植。如果在报文校验侧处理得当可以有效隔离被测逻辑故障点，快速定位。同时，可以根据实际需要做添加，以适应更复杂的特性需求。
实施方案：
下为本发明的一种实施方案：
1，在数据报文净荷区占用4个字节空间，建立各附加信息区域：0       1       2       3       4       5       6       7
 valid   vlan num.
 valid group/broad num.
              sequence
  crc-8
第一字节(vlan区)：valid＝‘1‘，表示有vlan，vlan num＝“vlan组号第二字节(属性区)：valid＝“00“保留，
              valid＝“01“表示广播，
valid＝“10“表示组播，
valid＝“11“表示单播，
group/broad num＝”组播、广播、单播组号“。
第三字节(报文号区)：sequence＝“数据报文序列号”。
第四字节(校验区)：净荷其余部分的crc-8校验
在激励构造时，确认该激励是单播，组播还是广播，是否带有vlan。如果有vlan在对应位置致‘1‘，后面7bit表明vlan组，由于逻辑仿真一般不需要大量的测试激励，本实施例为128组。
如果是组播或是广播，设置对用的有效位，后面7bit表明组播或广播组号，由于逻辑仿真一般不需要大量的测试激励，本实施例为128个组播组、广播组。
如果是单播，后面7bit实际表明了该激励的目的端口号，可以提供128个目的端口。
数据报文序列表明了在以上约束下是第几个激励项，由于逻辑仿真一般不需要大量的测试激励，本实施例按照256个数据报文循环使用已够用。
在激励发送端，可以采用手工设定和随机生成的办法产生任意数据流模型的激励报文。
接收端口需要配置各端口属于的vlan组，广播/组播/单播组的属性，一旦接收到被测逻辑输出时，重组报文后，根据附加字节与端口属性相对比，既可以得到如下信息：
a该数据报文是否到达正确端口(因为报文的广播、组播、vlan等这些属性共同作用确定了目的端口)；
b数据报文序列号是否连续表明传输过程中是否有数据报文丢失，如有丢失可以确定时第几个报文丢失(根据报文号区)；
c是否有报文转发错误的情况(根据属性区)；
d是否在传输过程中有净荷损失(根据校验区)。
按照本发明的技术方案，在申请人的芯片仿真平台中已经得以实现，在实际仿真过程分层逐级检验Ethernet(以太网)和Atm，可以仿真单播、组播、广播和vlan的任意组合，构造激励数据流模型，有效分别校验数据报文特性，确定报文出错原因，对被测逻辑重组出错或是丢包可以有效检测并迅速定位。

Claims (5)

1、一种宽带通信逻辑仿真平台设计的验证方法，其步骤包括：
1)构造激励报文：
在数据报文净荷区建立三段信息区域：属性区域，报文号区域和报文校验区域，其中属性区域标识报文属性和组号；报文号区域标识数据报文序列号；报文校验区域设置该数据报文净荷区其余部分的校验码；
2)生成带上述结构的任意数据流模型的激励报文，输入仿真平台；
3)接收端口配置各目的端口的属性；其中接收端口为实际接收到数据包的端口，目的端口为数据包应该到达的端口；
4)接收端口接收仿真平台的逻辑输出，并重组报文；
5)根据重组报文的信息区域确定验证结果：
数据报文净荷区还建立VLAN区域，标识VLAN网的有无和组号；根据重组报文的属性区域和VLAN区域确定该数据报文是否到达正确端口；
根据其报文号区域确定报文是否丢失；
根据其报文校验区域确定传输过程是否有净荷损失。
2、如权利要求1所述的宽带通信逻辑仿真平台设计的验证方法，其特征在于属性区域标识报文属性为保留，广播，组播和单播。
3、如权利要求1所述的宽带通信逻辑仿真平台设计的验证方法，其特征在于报文号区域将数据报文按照顺序标注序列号。
4、如权利要求1所述的宽带通信逻辑仿真平台设计的验证方法，其特征在于报文校验区设置该数据报文净荷区其余部分的CRC校验码；
5、如权利要求1所述的宽带通信逻辑仿真平台设计的验证方法，其特征在于采用随机生成的方式生成带上述结构的任意数据流模型的激励报文。
CN 03148085 2003-06-30 2003-06-30 宽带通信逻辑仿真平台设计的验证方法 Expired - Fee Related CN1224216C (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN 03148085 CN1224216C (zh) 2003-06-30 2003-06-30 宽带通信逻辑仿真平台设计的验证方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN 03148085 CN1224216C (zh) 2003-06-30 2003-06-30 宽带通信逻辑仿真平台设计的验证方法

Publications (2)

Publication Number Publication Date
CN1472927A CN1472927A (zh) 2004-02-04
CN1224216C true CN1224216C (zh) 2005-10-19

Family

ID=34156190

Family Applications (1)

Application Number Title Priority Date Filing Date
CN 03148085 Expired - Fee Related CN1224216C (zh) 2003-06-30 2003-06-30 宽带通信逻辑仿真平台设计的验证方法

Country Status (1)

Country Link
CN (1) CN1224216C (zh)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN100440812C (zh) * 2004-04-23 2008-12-03 华为技术有限公司 激励报文实现装置及方法和数字电路逻辑仿真的测试方法
CN100337212C (zh) * 2004-07-22 2007-09-12 华为技术有限公司 逻辑验证系统及方法
CN1332537C (zh) * 2004-09-14 2007-08-15 华为技术有限公司 对激励报文进行监控的装置及其方法
CN107786471B (zh) * 2017-10-23 2021-03-16 深圳市风云实业有限公司 多fpga芯片间数据处理方法及转换装置
CN109061442A (zh) * 2018-08-13 2018-12-21 迈普通信技术股份有限公司 检测方法、装置及可编程芯片

Also Published As

Publication number Publication date
CN1472927A (zh) 2004-02-04

Similar Documents

Publication Publication Date Title
CN105138774B (zh) 一种基于集成电路层次化设计的时序后仿真方法
CN1224216C (zh) 宽带通信逻辑仿真平台设计的验证方法
CN107171897A (zh) 一种接口测试方法及数据接口测试系统
CN1549119A (zh) 逻辑仿真测试系统和方法
CN105117345A (zh) 一种应用程序的接口测试方法及装置
Halloush et al. Network coding with multi-generation mixing
CN110190926A (zh) 基于网络计算的纠删码修复方法、纠删码更新方法及系统
Hua et al. Brick: A novel exact active statistics counter architecture
Yao et al. Formal modeling and systematic black-box testing of sdn data plane
Hokfelt et al. Turbo codes: Correlated extrinsic information and its impact on iterative decoding performance
CN101079675A (zh) 一种测试多径衰落的方法、装置和系统
Pultr et al. Lattice-valued frames, functor categories, and classes of sober spaces
CN103279405A (zh) 适用于片上网络嵌入式ip核的测试壳
CN1160906C (zh) 一种基于消息录制回放的模拟网元测试方法
CN103176796A (zh) 一种在autosar中实现复杂数据到信号组的映射方法
CN111243657A (zh) 一种有效的存储器电路随机故障注入方法
CN103078766B (zh) 网络流量的审计方法、装置及网络设备
CN103218497B (zh) 基于增量线性规划的动态系统在线增量式快速验证系统及方法
CN1189822C (zh) 一种异常逻辑业务仿真测试装置
CN101170790B (zh) 相关网元参数配置一致性检查方法及装置
CN104899364B (zh) 一种用于器件建模的标准单元选择方法
CN103036738B (zh) 一种验证系统及其验证方法
CN101645886A (zh) 电文数据的自动解包与校验方法
CN102012955B (zh) 获取背板连接器针头钻阵列的散射矩阵的方法和装置
Zhang et al. Random walks in small-world exponential treelike networks

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
ASS Succession or assignment of patent right

Owner name: HUAWEI TECHNOLOGY CO., LTD.

Free format text: FORMER OWNER: GANGWAN NETWORK CO., LTD.

Effective date: 20060922

C41 Transfer of patent application or patent right or utility model
TR01 Transfer of patent right

Effective date of registration: 20060922

Address after: 518129 Bantian HUAWEI headquarters office building, Longgang District, Guangdong, Shenzhen

Patentee after: Huawei Technologies Co., Ltd.

Address before: 100089, No. 21 West Third Ring Road, Beijing, Haidian District, Long Ling Building, 13 floor

Patentee before: Harbour Networks Holdings Limited

ASS Succession or assignment of patent right

Owner name: HUAWEI DIGITAL TECHNOLOGY CO.

Free format text: FORMER OWNER: HUAWEI TECHNOLOGY CO., LTD.

Effective date: 20081024

C41 Transfer of patent application or patent right or utility model
TR01 Transfer of patent right

Effective date of registration: 20081024

Address after: No. 3, information road, Haidian District, Beijing

Patentee after: Huawei Digit Technology Co., Ltd.

Address before: Bantian HUAWEI headquarters office building, Longgang District, Shenzhen, Guangdong

Patentee before: Huawei Technologies Co., Ltd.

C17 Cessation of patent right
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20051019

Termination date: 20120630