用于重传部件模块级验证的报文自动比对正确性检查方法及装置制造方法及图纸

本发明专利技术公开了一种用于重传部件模块级验证的报文自动比对正确性检查方法及装置，重传接收端的实施步骤包括：对需要重传的动态请求报文通过映射队列分配一个空闲请求队列且将对应的重传计数器加1；对静态请求报文通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；最终若所有的空闲请求队列清空且有效位清零、重传计数器均已归零则判定重传部件已通过模块级验证。本发明专利技术具有计算量小、占用资源少、定位迅速、检测效率高、通用性好的特点，可加快重传部件的验证速度和设计收敛。

【技术实现步骤摘要】
用于重传部件模块级验证的报文自动比对正确性检查方法及装置
本专利技术涉及众核处理器验证领域，具体涉及一种用于重传部件模块级验证的报文自动比对正确性检查方法及装置。
技术介绍
随着集成物理尺寸的缩小，众核处理器的设计复杂度不断增加，面市时间不断缩短。功能验证已成为设计开发周期中的瓶颈。众核处理器验证通常采用层次化的方法进行，以保证验证结果的精确度和工作效率。在自底向上的验证方法中，子模块是整个系统的基础，子模块的正确性是最终整个设计正确工作的基础。在集成电路技术的迅猛发展和应用需求的强力推动下，基于片上网络的众核处理器体系结构发展日益成熟。如何提供高效的存储管理和可靠的互连通信协议，是设计和实现高性能众核处理器的重要内容。重传机制主要用于实现无差错的链路层通信，在数据传输系统中应用十分广泛，意义重大。在采用二维Mesh（2D-Mesh）片上网络的众核处理器中，重传部件的主要原理是基于后退N帧重传协议的重传机制，采用请求自动重传思想和信用动态重传的流控方式，对于在网络层传输过程中丢失的请求报文进行自动重发，以实现片上网络节点之间报文本文档来自技高网...

【技术保护点】
1.一种用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，所述重传部件由重传发送端和重传接收端组成，且重传接收端的实施步骤包括：/n1）预先构造一组空闲请求队列、一组重传计数器和一个映射队列；/n2）当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；如果测试结束，跳转执行步骤6）；/n3）通过映射队列分配一个空闲请求队列且在每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；/n4）将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请...

【技术特征摘要】
1.一种用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，所述重传部件由重传发送端和重传接收端组成，且重传接收端的实施步骤包括：
1）预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
2）当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；如果测试结束，跳转执行步骤6）；
3）通过映射队列分配一个空闲请求队列且在每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
4）将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行步骤2）；
5）通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行步骤2）；
6）判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。


2.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤1）中预先构造一组空闲请求队列、一组重传计数器和一个映射队列时，所述空闲请求队列为以自然数为索引，所述重传计数器以空闲请求序列号为索引，所述映射队列以重传发送端id号为索引；所述空闲请求队列的数目根据实际使用指定地址映射模式配置成与实际发出请求到同一重传接收端的重传部件发送端数目相同，根据请求报文中的重传发送端id号信息将来自不同重传发送端的请求报文分配到不同的空闲请求队列进行处理；每个空闲请求队列的大小与单个重传发送端最多能发送的待重传请求数目相同，所有待重传请求的部分信息将被记录在空闲请求队列中，每个待重传请求占用一项；所述重传计数器的个数与空闲请求队列数目一致，同步记录各对应的空闲请求队列中的待重传请求个数；所述映射队列的大小与空闲请求队列的数目相同，映射队列用于保存重传发送端的id号信息，每个不同的重传发送端id号占用一项。


3.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤3）的详细步骤包括：根据该动态请求报文的重传发送端id号查询所述映射队列，如果映射队列中已能查询到该重传发送端id号映射的空闲请求队列号，则分配该空闲请求队列给请求报文；如果映射队列中未能查询到该重传id号映射的空闲请求队列，则从映射队列中分配当前最小的空闲项号索引到的空闲请求队列给请求报文，并将该重传发送端id号存入映射队列中当前分配的最小空闲项中进行标记，同时打印请求类型标请求事务id号和请求地址信息，对应的重传计数器加1。


4.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤4）的详细步骤包括：将该请求报文的关键信息包括请求类型标识、请求事务id号、请求地址等记录到上述分配的空闲请求队列中当前项号最小的空闲项中，同时将该空闲项的有效位置为1。


5.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于...

【专利技术属性】
技术研发人员：罗健美，杨俊，庞守雷，李永进，王英，
申请(专利权)人：天津飞腾信息技术有限公司，
类型：发明
国别省市：天津;12