专利名称：一种交换芯片的乒乓配对方式的验证方法
技术领域：
本发明涉及一种交换芯片的乒乓配对方式的验证方法。
背景技术：
通常网络交换芯片的设计，都采用设计和验证两个路径并行的方法来保证设计和验证代码都符合最初的设计意愿。如附
图1。验证人员和设计人员根据各自对设计要求的理解完成设计，通常认为验证人员和设计人员在同一个地方犯相同错误的几率很小，所以互相可以检查出对方的错误，从而使设计代码和验证代码最终完全相同。然而，虽然验证人员和设计人员犯相同错误的几率很小，但是这个几率始终存在，如果错误出在相同的地方，由于设计代码和验证代码完全相同，一旦同时发生相同的错误，则可能永远无法找出。这样，存在的错误会影响到网络交换芯片的功能和运行，无法保证网络交换芯片设计达到设计的最初意愿，进而对整个网络造成影响，而且这样的错误始终无法查找和修正。
发明内容
本发明提供交换芯片的新的验证方法，即在原来的设计和验证两个冗余设计互相检查的基础上，提供了第三条路径乒乓方式的验证方法来验证芯片，确保设计的正确性，这种乒乓方式的验证方法是将芯片作为黑盒处理，能在验证人员和设计人员的设计代码和验证代码完全相同的情况下，发现并修正在相同的地方同时发生的原来无法查找的错误。这样，能保证网络交换芯片的功能和运行，保证网络交换芯片设计达到设计的最初意愿。
本发明的具体技术方案如下一种交换芯片的乒乓配对方式的验证方法，其特征在于由能相互对向发送和收接数据包的负责发送数据包的发送端口、负责收接数据包的收接端口和一个数据包邮箱构成，其验证路径如下A、发送端口负责将送入芯片端口的数据包送到数据包邮箱，以先进先出(即FIFO)方式，多个以太网数据包按一定顺序进入先进先出的邮箱或数据包通道，并按相同顺序先进先出的邮箱或数据包通道从出来；B、收接端口从邮箱中取出数据包；C、同时，收接端口得到的数据包在芯片的出端口等待该数据包出来，并按照数据包的类型将两个数据包进行的比较，比较不通过则报仿真出错。
本发明所述的数据包中有记时器，发送端口和收接端口将数据包放入数据包邮箱时启动记时器，在记时器规定的时间从出端口收到该数据包，则报错。
本发明所述的数据包中有一定要被接收端收到的控制开关和是否一定不能被接收端收到的控制开关。
本发明所述的发送端口和收接端口有至少一个以上的用于从一个端口向多个端口发送数据包的配对的发送端口和收接端口，一个配对的发送端口和收接端口控制通知一个出端口希望收到的数据包。
本发明的原理是交换芯片都有多个端口，一个数据包从一个端口进入芯片，经过芯片处理，这个数据包可能从一个或多个端口出芯片，并可能被芯片做了一些修改；这个包也可能被芯片丢弃掉。根据我们对芯片的配置和网络协议的要求，我们可以把芯片当成一个黑盒，当从一个端口发送一个包时，可以期望在正确处理的情况下，这个包应该从哪些或哪个端口出芯片。利用这个判断，实现本发明目的。
本发明所述的乒乓配对方式是指一个端口负责发送数据包，一个端口负责收接数据包，也可以是两个端口间互相对发。
本发明所述的验证方法是将芯片当做黑盒来看待，可以与原有的验证方式同时作用。除了验证以外，使用这个方法还可以很容易的建立bench mark的仿真环境(协议要求交换机必须通过的测试)。
本发明能在验证人员和设计人员的设计代码和验证代码完全相同的情况下，发现并修正在相同的地方同时发生的原来无法查找的错误。这样，能保证网络交换芯片的功能和运行，保证网络交换芯片设计达到设计的最初意愿。
附图及其图面说明图1现有技术中的验证流程方框2本发明所述的验证流程方框3本发明所述的多个配对的验证流程方框4本发明所述的多个配对的验证流程方框图
具体实施例方式一种交换芯片的乒乓配对方式的验证方法，其特征在于由能相互对向发送和收接数据包的负责发送数据包的发送端口、负责收接数据包的收接端口和一个数据包邮箱构成，其验证路径如下A、发送端口负责将送入芯片端口的数据包送到数据包邮箱，以先进先出(即FIFO)方式，多个以太网数据包按一定顺序进入先进先出的邮箱或数据包通道，并按相同顺序先进先出的邮箱或数据包通道从出来；B、收接端口从邮箱中取出数据包；C、同时，收接端口得到的数据包在芯片的出端口等待该数据包出来，并按照数据包的类型将两个数据包进行的比较，比较不通过则报仿真出错。
本发明所述的数据包中有记时器，发送端口和收接端口将数据包放入数据包邮箱时启动记时器，在记时器规定的时间从出端口收到该数据包，则报错。
本发明所述的数据包中有一定要被接收端收到的控制开关和是否一定不能被接收端收到的控制开关。
本发明所述的发送端口和收接端口有两个用于从一个端口向多个端口发送数据包的配对的发送端口和收接端口，一个配对的发送端口和收接端口控制通知一个出端口希望收到的数据包。
本发明能在验证人员和设计人员的设计代码和验证代码完全相同的情况下，发现并修正在相同的地方同时发生的原来无法查找的错误。这样，能保证网络交换芯片的功能和运行，保证网络交换芯片设计达到设计的最初意愿。
权利要求
1.一种交换芯片的乒乓配对方式的验证方法，其特征在于由能相互对向发送和收接数据包的负责发送数据包的发送端口、负责收接数据包的收接端口和一个数据包邮箱构成，其验证路径如下A、发送端口负责将送入芯片端口的数据包送到数据包邮箱，以先进先出的方式，多个以太网数据包按一定顺序进入先进先出的邮箱或数据包通道，并按相同顺序先进先出的邮箱或数据包通道从出来；B、收接端口从邮箱中取出数据包；C、同时，收接端口得到的数据包在芯片的出端口等待该数据包出来，按照数据包的类型将两个数据包进行比较，比较不通过报仿真出错。
2.根据权利要求1所述的一种交换芯片的乒乓配对方式的验证方法，其特征在于所述的数据包中有记时器，发送端口和收接端口将数据包放入数据包邮箱时启动记时器，在记时器规定的时间从出端口收到该数据包，则报错。
3.根据权利要求1或2所述的一种交换芯片的乒乓配对方式的验证方法，其特征在于所述的数据包中有一定要被接收端收到的控制开关和是否一定不能被接收端收到的控制开关。
4.根据权利要求1或2所述的一种交换芯片的乒乓配对方式的验证方法，其特征在于所述发送端口和收接端口有至少一个以上的用于从一个端口向多个端口发送数据包的配对的发送端口和收接端口，一个配对的发送端口和收接端口控制通知一个出端口希望收到的数据包。
全文摘要
本发明公开了一种交换芯片的乒乓配对方式的验证方法，由能相互对向发送和收接数据包的负责发送数据包的发送端口、负责收接数据包的收接端口和一个数据包邮箱构成，本发明能在验证人员和设计人员的设计代码和验证代码完全相同的情况下，发现并修正在相同的地方同时发生的原来无法查找的错误。这样，能保证网络交换芯片的功能和运行，保证网络交换芯片设计达到设计的最初意愿。
文档编号H01L21/66GK1630053SQ200310104039
公开日2005年6月22日 申请日期2003年12月18日 优先权日2003年12月18日
发明者孙杰, 陈卓, 华海红, 张旭, 赵承志, 李为民 申请人:四川南山之桥微电子有限公司