阅读说明：本技术 一种多端口多消息类型交叉通信部件的验证方法 (Method for verifying multi-port multi-message type cross communication component ) 是由 胡向东 杨瑒 计永兴 张芯娟 张红云 于 2019-09-11 设计创作，主要内容包括：本发明涉及一种多端口多消息类型交叉通信部件的验证方法,包括以下步骤：定义各种消息类型所包含的各类数据域；定义每个端口上的各路物理通道；根据实际设计要求,建立各种消息类型和各端口的相应物理通道的对应关系；根据实际设计要求,建立传输参考模型；生成包含各种消息类型的测试序列,并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序,以及队列中每条接收消息类型所包含的各类数据的域正确性。本发明使得验证结果更加准确和便捷。(The invention relates to a method for verifying a multi-port multi-message type cross communication component, which comprises the following steps: defining various data fields contained in various message types; defining each path of physical channel on each port; establishing corresponding relations between various message types and corresponding physical channels of various ports according to actual design requirements; establishing a transmission reference model according to actual design requirements; generating a test sequence containing various message types, and injecting the test sequence into a reference model and a transmission port designed actually; collecting a message queue of message types acquired from a transmission reference model and a receiving port which is actually designed; and comparing the sequence of the transmission reference model and the actually designed receiving message queue and the domain correctness of various types of data contained in each receiving message type in the queue. The invention ensures that the verification result is more accurate and convenient.)

一种多端口多消息类型交叉通信部件的验证方法

技术领域

本发明涉及处理器芯片模拟验证技术领域，特别是涉及一种多端口多消息类型交叉通信部件的验证方法。

背景技术

随着集成电路设计规模的不断扩大和设计复杂度的日益增加，处理器设计越来越复杂、功能更加多样化。因此，处理器芯片的正确性验证变得日益复杂和困难。这种复杂性、多样性及困难性可以体现在单个处理器内部和多个处理器之间都存在大量不同类型的消息在多个端口之间交叉通信，需要保证多端口多消息类型的交叉通信部件的正确性验证并加速验证流程。

为了提升处理器的性能，处理器设计中经常自定义消息类型和相应的端口接口协议，因此无法使用第三方提供的基于通用总线协议的VIP(VerificationIntellectualProperty)，大大增加了处理器的验证周期和正确性验证的困难程度。

发明内容

本发明所要解决的技术问题是提供一种多端口多消息类型交叉通信部件的验证方法，实现多端***叉通信部件的正确性验证。

本发明解决其技术问题所采用的技术方案是：提供一种多端口多消息类型交叉通信部件的验证方法，包括以下步骤：

(1)定义各种消息类型所包含的各类数据域；

(2)定义每个端口上的各路物理通道；

(3)根据实际设计要求，建立各种消息类型和各端口的各路物理通道的对应关系，使得各种消息类型在各端口的相应物理通道上能够发送和接收；

(4)根据实际设计要求，建立传输参考模型；

(5)生成包含各种消息类型的测试序列，并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性；

(6)当正确性比较出现错误时，根据设计要求对传输参考模型或实际设计进行修正，并重复步骤(5)，直至参考模型和实际设计得到的结果一致，并符合设计要求。

所述步骤(2)中的物理通道包括通道名称和数据位宽。

所述步骤(4)中的传输参考模型能够通过自身的发送端口的消息类型和信息以及传输参考模型当前的状态，获得自身接收端口的相应消息类型和信息，并更新传输修改模型的相应状态。

所述步骤(5)中的测试序列按照时间序列注入到参考模型和实际设计的发送端口上。

有益效果

由于采用了上述的技术方案，本发明与现有技术相比，具有以下的优点和积极效果：本发明可以根据设计要求完成端口和消息类型的自定义，并利用各端口与消息类型的对应关系，建立消息传输的参考模型，从而满足各种设计的需求。本发明通过生成测试消息类型序列并注入实际设计和传输参考模型，收集两者在各个端口的输出形成消息类型的队列，通过比较实际设计与传输参考模型收集的消息队列来修正实际设计或参考模型，使得最终比较结果一致，从而确保整个部件的正确性验证。

附图说明

图1是本发明的流程图。

具体实施方式

下面结合具体实施例，进一步阐述本发明。应理解，这些实施例仅用于说明本发明而不用于限制本发明的范围。此外应理解，在阅读了本发明讲授的内容之后，本领域技术人员可以对本发明作各种改动或修改，这些等价形式同样落于本申请所附权利要求书所限定的范围。

本发明的实施方式涉及一种多端口多消息类型交叉通信部件的验证方法，如图1所示，包括以下步骤：

第一步骤：定义各种消息类型所包含的各类数据域；

第二步骤：定义每个端口上的各路物理通道，其中物理通道包括通道名称和数据位宽等；

第三步骤：根据实际设计要求，建立各种消息类型和各端口的各路物理通道的对应关系，实现各种消息类型能够在各端口的相应物理通道上发送和接收；

第四步骤：根据实际设计要求，建立传输参考模型。该传输参考模型能够通过自身的发送端口的消息类型和信息，以及传输参考模型当前的状态，可以获得自身接收端口的相应消息类型和信息，并修改传输参考模型的相应状态。

第五步骤：生成包含各种消息类型的测试序列，并按照时间序列(同时或者分时，连续或者间隔)将测试序列注入到传输参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上的消息类型的消息队列；比较接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性。

第六步骤：当正确性比较出现错误时，对照设计文档，查找传输参考模型和实际设计中存在的问题，并做出修正；重复第五步骤，直至传输参考模型和实际设计得到的结果一致，并符合设计要求。

该方法可以根据设计要求完成端口和消息类型的自定义，并利用各端口与消息类型的对应关系，建立消息传输的参考模型，从而满足多种设计要求，如：一种消息类型的信息通过端口上的一个物理通道发送和接收，或者被拆分到端口上的多个物理通道发送和接收；端口上的一个物理通道可以发送和接收一种或者多种消息类型的信息；一种消息类型通过一个端口可以发送至一个或者多个端口；多个端口上的同一种消息类型，可以发送到同一个端口进行接收。