一种系统级空间读写验证的方法、系统、存储介质及设备技术方案

本发明专利技术提供了一种系统级空间读写验证的方法、系统、存储介质及设备，通过对较大内存空间进行空间划分，根据实际情况将其平均分配为多个相同内存大小的内存块，并根据划分内存块生成相应的地址映射表。在总线针对某个地址发起写操作时，后续转换模块会根据生成的地址映射表将总线发送的地址和数据映射到各个块内存上，同时对多个块内存相同的偏移地址发起写操作。为了提高效率，提出了将内存空间分块，根据分块产生地址映射表，新增转换模块会根据地址映射表，将AMBA总线发送的读写操作同时发送到各个块内存中，以达到发送一次总线操作即可同时对多个地址进行操作的目的，成倍提高效率。率。率。

【技术实现步骤摘要】
一种系统级空间读写验证的方法、系统、存储介质及设备


[0001]本专利技术涉及计算机
，尤其涉及芯片开发
，具体涉及寄存器读写验证


技术介绍

[0002]在芯片开发过程中，针对寄存器的读写检查在验证初期是较为关键的步骤。通过利用自研的自动化工具生成寄存器测试用例，并根据实际地址映射表来对真实场景下的寄存器进行测试，从而检查各个寄存器操作是否正确。另外在对寄存器进行访问时，通常使用AMBA(高级微控制器总线结构，Advanced Microcontroller Bus Architecture)总线发起读写操作，但总线一次只能对一个地址进行读写访问。针对较大地址空间时，总线只能对地址进行顺序访问。这样会导致总线访问地址花费时间较长，影响仿真效率。
[0003]但在实际SoC(片上系统，System on Chip)级应用场景中，某些模块占用的寄存器地址空间较大，或者定义了较大的存储空间，而上述的寄存器测试用例是循环对寄存器进行读写操作，这样会花费较长的仿真时间。同时在复杂的SoC级，互联总线模块主要用于各个IP之间的互连，互连总线模块一般包括输入逻辑，地址译码，总线仲裁和输出逻辑几部分，可以完成数据流交换，地址分配，共享资源的优先级确定等功能。该模块作为IP之间的接口模块，是数据流的必经通道，因此也是验证重点。在对内存进行访问时，首先需要检查译码逻辑是否正确。另外在SoC级也会有对时钟域以低功耗的相关测试。在不同的场景下内存工作方式也会有所不同。因此在系统级，针对较大地址空间如何快速进行地址空间覆盖将会成为重点解决的问题。
[0004]可以说，针对某些占用地址较大的模块，测试会导致耗费时间较长，进而导致测试效率低下，甚至拖延整体芯片开发进度。
[0005]因此，针对现有技术中的上述缺点、问题，需要提出一种针对较大地址空间如何快速进行地址空间覆盖的读写验证的方法，以减小时间消耗、提高测试效率。

技术实现思路

[0006]有鉴于此，本专利技术的目的在于提出一种改进的尤其针对较大地址空间的系统级空间读写验证的方法、系统、存储介质及设备，从而解决现有技术中测试会导致耗费时间较长进而导致测试效率低下甚至拖延整体芯片开发进度等问题。
[0007]基于上述目的，一方面，本专利技术提供了一种系统级空间读写验证的方法，其中该方法包括以下步骤：
[0008]根据实际内存的空间大小，将大块的内存地址空间进行虚拟分块处理得到多个小块内存，并根据该多个小块内存的地址形成地址映射表；
[0009]利用寄存器模型生成工具生成所有模块的寄存器模型以及测试用例，测试用例中依次对每个寄存器进行读写检查，其中在测试用例中只对分块内存偏移地址进行写访问；
[0010]响应于根据测试用例通过地址总线发起对内存的读写操作，通过地址译码逻辑进
行寻址并发起传输请求；
[0011]基于地址映射表通过转换模块同时对多个地址执行读写操作；
[0012]在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性。
[0013]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：
[0014]利用后门读方式对每个小块内存对应偏移地址上的写数据进行读取，以检查写入数据和地址译码的正确性。
[0015]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：
[0016]响应于后门读取的数据与通过地址总线写入的数据相同，验证写入数据和地址译码正确；
[0017]响应于后门读取的数据与通过地址总线写入的数据不相同，验证写入数据和/或地址译码错误。
[0018]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：
[0019]利用前门读方式将任意正确地址上的写数据进行读取，以检查写入数据的正确性。
[0020]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，基于地址映射表同时对多个地址执行读写操作进一步包括：
[0021]通过地址映射将总线发送的地址同时发送到相应的多个小块内存中，同时发送数据也根据地址映射同时发送到相应的多个小块内存中。
[0022]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，根据实际内存的空间大小，将大块的内存地址空间进行虚拟分块处理得到多个小块内存，并根据该多个小块内存的地址形成地址映射表进一步包括：
[0023]根据实际内存的空间大小将大块的内存地址空间均分成多个小块内存，根据划分的小块内存的数量以及划分的内存单元确定每个小块内存的基地址。
[0024]在根据本专利技术的系统级空间读写验证的方法的一些实施例中，响应于根据测试用例通过地址总线发起对内存的读写操作，通过地址译码逻辑进行寻址并发起传输请求进一步包括：
[0025]在发起总线操作时，首先对地址译码进行检查，根据实际的芯片地址映射表检查译码逻辑发送的地址是否正确，同时需要检查发送的地址是否满足分块需求。
[0026]本专利技术的另一方面，还提供了一种系统级空间读写验证的系统，其中包括：
[0027]内存虚拟分区模块，该内存虚拟分区模块配置为根据实际内存的空间大小，将大块的内存地址空间进行虚拟分块处理得到多个小块内存，并根据该多个小块内存的地址形成地址映射表；
[0028]测试用例生成模块，该测试用例生成模块配置为利用寄存器模型生成工具生成所有模块的寄存器模型以及测试用例，测试用例中依次对每个寄存器进行读写检查，其中在测试用例中只对分块内存偏移地址进行写访问；
[0029]读写测试发起模块，该读写测试发起模块配置为响应于根据测试用例通过地址总线发起对内存的读写操作，通过地址译码逻辑进行寻址并发起传输请求；
[0030]读写操作转换模块，该读写操作转换模块配置为基于地址映射表通过转换模块同时对多个地址执行读写操作；
[0031]数据地址验证模块，该数据地址验证模块配置为在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性。
[0032]本专利技术的再一方面，还提供了一种计算机可读存储介质，存储有计算机程序指令，该计算机程序指令被执行时实现上述任一项根据本专利技术的系统级空间读写验证的方法。
[0033]本专利技术的又一方面，还提供了一种计算机设备，包括存储器和处理器，该存储器中存储有计算机程序，该计算机程序被处理器执行时执行上述任一项本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种系统级空间读写验证的方法，其特征在于，包括以下步骤：根据实际内存的空间大小，将大块的内存地址空间进行虚拟分块处理得到多个小块内存，并根据该多个小块内存的地址形成地址映射表；利用寄存器模型生成工具生成所有模块的寄存器模型以及测试用例，测试用例中依次对每个寄存器进行读写检查，其中在测试用例中只对分块内存偏移地址进行写访问；响应于根据所述测试用例通过地址总线发起对内存的读写操作，通过地址译码逻辑进行寻址并发起传输请求；基于所述地址映射表通过转换模块同时对多个地址执行所述读写操作；在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性。2.根据权利要求1所述的方法，其特征在于，所述在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：利用后门读方式对每个小块内存对应偏移地址上的写数据进行读取，以检查写入数据和地址译码的正确性。3.根据权利要求2所述的方法，其特征在于，所述在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：响应于后门读取的数据与通过地址总线写入的数据相同，验证写入数据和地址译码正确；响应于后门读取的数据与通过地址总线写入的数据不相同，验证写入数据和/或地址译码错误。4.根据权利要求1所述的方法，其特征在于，所述在执行写操作后，针对每个小块内存同时发起读操作，并收集每个小块内存相应偏移地址上读取的数据，以检查写入数据和地址译码的正确性进一步包括：利用前门读方式将任意正确地址上的写数据进行读取，以检查写入数据的正确性。5.根据权利要求1至4任一项所述的方法，其特征在于，所述基于所述地址映射表同时对多个地址执行所述读写操作进一步包括：通过地址映射将总线发送的地址同时发送到相应的多个小块内存中，同时发送数据也根据地址映射同时发送到相应的多个小块内存中。6.根据权利要求1至4任一项所述的方法，其特征在于，所述根据实际...

【专利技术属性】
技术研发人员：杨静，邵海波，朱雷，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：