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