用于存储模块的数据比对方法、装置、设备和存储介质制造方法及图纸

本申请涉及一种用于存储模块的数据比对方法、装置、计算机设备和存储介质。方法包括：监视存储模块的读事务和写事务；在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；在读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务；利用计分板对读事务队列中的每个已结束的读事务执行数据比对；当该读事务的读数据值与参考模型对应地址下的值的数据比对不通过，而该读事务的读数据值与写事务队列中的与该读事务可能存在读写冲突的写事务中对应地址下的写数据值和原始值中的任一值的数据比对通过时，判定该读事务的数据比对通过。采用本方法能够提升对存储模块的异常判断的准确性。块的异常判断的准确性。块的异常判断的准确性。

【技术实现步骤摘要】
用于存储模块的数据比对方法、装置、设备和存储介质


[0001]本申请涉及数据验证
，特别是涉及一种用于存储模块的数据比对方法、装置、计算机设备和存储介质。

技术介绍

[0002]通用验证方法学(Universal Verification Methodology，UVM)是一种用于对待测设计(Design Under Test，DUT)进行验证的技术。一般而言，UVM验证平台中构建有用于模拟DUT的功能的参考模型，UVM验证平台中的计分板将DUT的输出与参考模型的输出进行比对以判断DUT的行为是否与预期相符，从而确认DUT中是否存在异常。
[0003]以DUT为存储模块为例，在利用UVM验证平台对存储模块进行验证时，UVM验证平台可以通过该存储模块的接口接入该存储模块，并对从接口监测到的读、写数据进行比较和检查。例如，在监测到读数据时，利用计分板将该读数据与参考模型中的对应数据进行数据比对，以确定数据比对是否通过，如果不通过，则表明存储模块可能存在异常。
[0004]而对于使用读通道与写通道相互独立的接口(例如先进可扩展接口(Advanced Extensible Interface)，简称AXI接口)的存储模块而言，在利用UVM验证平台对使用此类接口的存储模块进行验证时，由于此类接口的读、写通道之间的独立性，以及数据从接口到内部存储电路的延时的不固定性，当读、写操作几乎同时进行，且对同一段地址进行了操作时，就可能存在读写冲突的情况，在该情况下，UVM验证平台从接口监测到的该读操作的读数据可能是从接口监测到的该写操作的写数据更新前的值，也可能是该写操作的写数据更新之后的值。
[0005]在可能存在读写冲突的情况下UVM验证平台从接口监测到的读数据的这种不确定性，给UVM验证平台的参考模型的设计带来了难题，即难以设计一种参考模型来准确地模拟与使用此类接口的存储模块相同的读写冲突处理特性。而若设计的参考模型不能准确模拟这种特性，则可能发生因监测到的读数据的这种不确定性导致数据比对不通过而存储模块实际运行正常这样的异常误判情况。从而降低了对具有此类接口的存储模块异常判断的准确性。

技术实现思路

[0006]基于此，有必要针对上述技术问题，提供一种能够提升对使用读通道与写通道相互独立的接口的存储模块的异常判断的准确性的用于存储模块的数据比对方法、装置、计算机设备和存储介质。
[0007]一种用于存储模块的数据比对方法，所述方法包括：
[0008]利用监视器监视存储模块的读事务和写事务；
[0009]在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；
[0010]在所述读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读
事务；
[0011]针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值的地址下的写数据值和该写数据值写入前的原始值中的任一值的数据比对通过时，则所述计分板判定所述读事务的数据比对通过。
[0012]一种用于存储模块的数据比对装置，所述装置包括：
[0013]监视模块，用于利用监视器监视存储模块的读事务和写事务；
[0014]写事务队列管理模块，用于在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；
[0015]读事务队列管理模块，用于在所述读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务；
[0016]数据比对模块，用于针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值的地址下的写数据值和该写数据值写入前的原始值之中的任一值的数据比对通过时，则所述计分板判定所述读事务的数据比对通过。
[0017]一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，所述处理器执行所述计算机程序时实现以下步骤：
[0018]利用监视器监视存储模块的读事务和写事务；
[0019]在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；
[0020]在所述读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务；
[0021]针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值的地址下的写数据值和该写数据值写入前的原始值中的任一值的数据比对通过时，则所述计分板判定所述读事务的数据比对通过。
[0022]一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现以下步骤：
[0023]利用监视器监视存储模块的读事务和写事务；
[0024]在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；
[0025]在所述读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务；
[0026]针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值
的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值的地址下的写数据值和该写数据值写入前的原始值中的任一值的数据比对通过时，则所述计分板判定所述读事务的数据比对通过。
[0027]上述用于存储模块的数据比对方法、装置、计算机设备和存储介质，通过监视器监视存储模块的读事务和写事务，并利用写事务队列和读事务队列读事务和写事务的相关状态进行追踪记录，实现了在进行数据比对时，如果当前读事务中的读数据值与参考模型中对应地址的数据值的数据比对不通过，则利用与该读事务可能存在读写冲突的写事务中对应地址的写数据值和原始值作为参考模型的备选值来与该读事务中的读数据值进行数据比对，只要该读事务中的读数据值能够与对应地址下备选值中的其中一个值的数据比对通过，则认为当前读事务的数据比对通过。从而避免了由于可能存在读写冲突的情况下监测到的读数据的不确定性导致数据比对不通过而存储模块实际运行正常这样的异常误判情况，有效提升了对使用读通道与写通道相互独立的接口的存储模块的异常判断的准确性。此外也避免了开发复杂的参考模型去准本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于存储模块的数据比对方法，所述方法包括：利用监视器监视存储模块的读事务和写事务；在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务；在所述读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务；针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值的地址下的写数据值和该写数据值写入前的原始值中的任一值的数据比对通过时，则所述计分板判定所述读事务的数据比对通过。2.根据权利要求1所述的方法，其特征在于，所述在写事务队列中，存放在途的写事务以及已结束但是与读事务队列中的读事务可能存在读写冲突的写事务，包括：当所述监视器监视到起始的写事务时，将该起始的写事务推入写事务队列中；当所述监视器监视到结束的写事务时，判定所述写事务队列中的各个写事务是否与读事务队列中的读事务可能存在读写冲突，将与所述读事务队列中的读事务不存在读写冲突的写事务从所述写事务队列中删除。3.根据权利要求2所述的方法，其特征在于，所述判定所述写事务队列中的各个写事务是否与读事务队列中的读事务可能存在读写冲突，包括：对于所述写事务队列中的每个写事务，当在当前写事务的结束时刻，所述读事务队列中的任一读事务的结束事件还未触发或刚好触发，并且该读事务中访问到的地址与当前写事务中访问到的地址存在重叠时，则判定当前写事务与该读事务可能存在读写冲突。4.根据权利要求2所述的方法，其特征在于，当所述监视器监视到起始的写事务时，所述方法还包括：从所述参考模型中获取该起始的写事务的写数据值的地址下该写数据值写入前的原始值，并且将所述原始值记录在该起始的写事务中。5.根据权利要求2所述的方法，其特征在于，当所述监视器监视到结束的写事务时，所述方法还包括：利用该结束的写事务中的写数据值对所述参考模型中该写数据值的地址下的值进行更新。6.根据权利要求1所述的方法，其特征在于，所述在读事务队列中，存放在途的读事务以及已结束但是尚未完成数据比对的读事务包括：当所述监视器监视到起始的读事务时，将该起始的读事务推入读事务队列中；当所述监视器监视到结束的读事务时，在执行所述利用计分板对所述读事务执行数据比对以完成了对所述读事务的数据比对之后，将所述读事务从所述读事务队列中删除。7.根据权利要求1所述的方法，其特征在于，针对所述读事务队列中的每个已结束的读事务，利用计分板对所述读事务执行数据比对；其中，当所述读事务中的读数据值与参考模型中所述读数据值的地址下的数据值的数据比对不通过，而所述读事务中的读数据值与所述写事务队列中的与所述读事务可能存在读写冲突的写事务中所述读数据值...

【专利技术属性】
技术研发人员：单轶程，薛茂盛，
申请(专利权)人：黑芝麻智能科技重庆有限公司，
类型：发明
国别省市：