用于验证写后写操作数据的一致性的方法、装置及介质与流程

本公开内容涉及专用集成电路(asic)的数据一致性的验证，更具体地，涉及一种用于验证写后写操作数据的一致性的方法、用于验证写后写操作数据的一致性的计算装置以及用于实施上述的用于验证写后写操作数据的一致性的方法的计算机可读存储介质。

背景技术：

1、在专用集成电路的设计过程中，需要经过系统设计、功能验证以及最后真实流片等各个环节，从而能够确保所设计出来的专用集成电路的功能可靠性。

2、然而，在现有技术之中，对于写后写(waw：write after write)的应用场景，有时会对多个写请求信息的数据合并，只能在所有写请求信息都处理完毕之后才能进行检查，这无疑增加了调试难度。

技术实现思路

1、在相关技术中，只能在所有请求信息均已执行完毕之后才能进行检查，此时的检查是不及时的，而且即便发现错误，由于有些写请求信息本身已经进行了合并，所以也不能精确地定位哪个写请求信息出现问题，使得发现问题变得较为困难。针对上面提及的技术问题中的至少一个技术问题，本公开内容提出了如下的解决方案，其能够较为及时地生成可比对的验证队列，从而能够及时发现哪个写请求信息出现问题，因此上述技术方案能够解决上述技术问题中的至少一个技术问题。

2、具体而言，本公开内容的第一方面提出了一种用于验证写后写操作数据的一致性的方法，所述方法包括：

3、针对第一地址，接收写请求信息；

4、根据所述写请求信息确定是否需要生成用于验证数据一致性的验证队列；以及

5、在需要生成用于验证数据一致性的验证队列的情况下生成所述验证队列，以验证数据一致性。

6、在依据本公开内容所提出的用于验证写后写操作数据的一致性的方法之中提出针对每个地址进行单独构建验证队列，从而能够精准地定位出现验证失败的写后写操作，从而采取有针对性的应对措施。此外，针对每个写请求信息均会判断是否需要生成用于验证数据一致性的验证队列并且在需要生成用于验证数据一致性的验证队列的情况下生成所述验证队列以验证数据一致性，从而能够及时地对写请求信息进行验证，提高了验证的及时性。

7、附加地或者可选地，在依据本公开内容的某些可选形式中，在不需要生成所述验证队列的情况下对所述写请求信息进行合并处理。

8、优选地，在依据本公开内容的某些优选形式中，根据所述写请求信息确定是否需要生成用于验证数据一致性的验证队列包括：根据所述写请求信息的属性来确定是否需要生成用于验证数据一致性的验证队列，其中，所述属性包括所述写请求信息是否可进行高速缓存、所述写请求信息是否为刷新请求、所述写请求信息与前一个写请求信息是否可合并以及所述写请求信息在多个写请求信息所形成的队列中的位置中的至少一项。以这样的方式，能够根据所述写请求信息的属性来确定是否需要生成用于验证数据一致性的验证队列，从而能够提高数据一致性验证的及时性。

9、可选地，在依据本公开内容的某些可选形式中，所述写请求信息源自待测硬件逻辑的输出或参考模型的输出。以这样的方式能够借助于参考模型(例如cmodel或者其他参考模型)的输出来验证待测硬件逻辑dut(design under test，其例如实现为寄存器传输级rtl：register transfer level)的输出，从而验证写请求信息的数据一致性。

10、可选地，在依据本公开内容的某些可选形式中，在不需要生成所述验证队列的情况下对所述写请求信息进行合并处理包括：在所述写请求信息可进行高速缓存并且所述写请求信息与前一个写请求信息可合并时将所述写请求信息与所述前一个写请求信息合并。以这样的方式，当写请求信息可以合并时则不需要生成所述验证队列，此时，能够将所述写请求信息与所述前一个写请求信息进行合并处理。

11、可选地，在依据本公开内容的某些可选形式中，在需要生成用于验证数据一致性的验证队列的情况下生成所述验证队列包括：在所述写请求信息是刷新请求时生成第一验证队列；在所述写请求信息不可进行高速缓存时生成第二验证队列；在所述写请求信息可进行高速缓存但所述写请求信息与前一个写请求信息不可合并时生成第三验证队列；或者在所述写请求信息可进行高速缓存并且所述写请求信息与前一个写请求信息可合并时但已接收完所有写请求信息时生成第四验证队列。以这样的方式，能够根据所述写请求信息的不同，在需要生成用于验证数据一致性的验证队列的情况下生成所述验证队列。具体而言，在以下四种情况下，即所述写请求信息是刷新请求、所述写请求信息不可进行高速缓存、所述写请求信息可进行高速缓存但所述写请求信息与前一个写请求信息不可合并、或者所述写请求信息可进行高速缓存并且所述写请求信息与前一个写请求信息可合并时但已接收完所有写请求信息，能够及时地生成相应的验证队列，从而能够及时进行验证并发现存在问题的写请求信息的具体位置，以便进行应对。

12、可选地，在依据本公开内容的某些可选形式中，在所述写请求信息是刷新请求时生成第一验证队列包括：在高速缓存中存在先前接收的合并的写请求信息时，在所述第一验证队列中将高速缓存中存在的写请求信息排在所述刷新请求之前。以这样的方式能够确保原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。

13、可选地，在依据本公开内容的某些可选形式中，在存在合并的写请求信息的情况下，在所述第一验证队列中将合并的写请求信息排列在所述高速缓存中存在的写请求信息之后并且在所述当前的写请求信息之前。以这样的方式能够进一步确保原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。

14、可选地，在依据本公开内容的某些可选形式中，在所述写请求信息不可进行高速缓存时生成第二验证队列包括：在高速缓存中存在写请求信息时，在所述第二验证队列中将高速缓存中存在的写请求信息排在当前的写请求信息之前。以这样的方式能够确保原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。

15、可选地，在依据本公开内容的某些可选形式中，在存在合并的写请求信息的情况下，在所述第二验证队列中将合并的写请求信息排列在所述高速缓存中存在的写请求信息之后并且在所述当前的写请求信息之前。以这样的方式能够进一步确保原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。

16、可选地，在依据本公开内容的某些可选形式中，在所述写请求信息可进行高速缓存但所述写请求信息与前一个写请求信息不可合并时生成第三验证队列包括：在所述写请求信息的写数据类型与所述前一个请求信息的写数据类型不同时，所述写请求信息与前一个请求信息不可合并；或者在所述写请求信息的请求模式与所述前一个请求信息的请求模式不同时，所述写请求信息与前一个请求信息不可合并。以这样的方式能够确保在不可合并时的原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。可选地，在依据本公开内容的某些可选形式中，所述写数据类型包括整形和浮点型，并且所述请求模式包括求和以及求平方和。

17、可选地，在依据本公开内容的某些可选形式中，所述方法还包括：对于可合并的写请求信息，分别存储有所述写请求信息的请求信息和所述写请求信息的请求数据之间的对照索引表以及合并后的数据。以这样的方式能够在验证出现问题时借助于所存储的所述写请求信息的请求信息和所述写请求信息的请求数据之间的对照索引表发现具体是哪一个写请求信息出现问题，进而能够有针对性地进行应对。

18、可选地，在依据本公开内容的某些可选形式中，在所述写请求信息可进行高速缓存并且所述写请求信息与前一个写请求信息可合并时但已接收完所有写请求信息时生成第四验证队列包括：以所述高速缓冲中的写请求信息的原有顺序生成所述第四验证队列。以这样的方式能够确保原有的写请求信息的顺序得到保证，进而能够进行数据一致性验证。

19、此外，本公开内容的第二方面提出了一种用于验证写后写操作数据的一致性的计算装置，所述计算装置包括存储器和处理器，所述存储器中存储有计算机可读指令，当所述计算机可读指令由所述处理器执行时致使所述处理器实施根据本公开内容的第一方面所提出的用于验证写后写操作数据的一致性的方法。

20、再者，本公开内容的第三方面提出了一种计算机可读存储介质，所述计算机可读存储介质具有存储在其上的计算机可执行指令，所述计算机可执行指令用于执行根据本公开内容的第一方面所提出的用于验证写后写操作数据的一致性的方法。

21、综上所述，在依据本公开内容所提出的用于验证写后写操作数据的一致性的方法、用于验证写后写操作数据的一致性的计算装置或者用于执行根据本公开内容的第一方面所提出的用于验证写后写操作数据的一致性的方法的计算机可读存储介质之中，首次提出针对每个地址进行单独构建验证队列，从而能够精准地定位出现验证失败的写后写操作，从而采取有针对性的应对措施；此外，针对每个写请求信息均会判断是否需要生成用于验证数据一致性的验证队列并且在需要生成用于验证数据一致性的验证队列的情况下生成所述验证队列以验证数据一致性，从而能够及时地对写请求信息进行验证，提高了验证的及时性。