基于SV实现的储存器地址管理方法及系统与流程

文档序号:35918403发布日期:2023-11-03 22:15阅读:43来源:国知局
基于SV实现的储存器地址管理方法及系统与流程

本发明涉及存储,尤其涉及基于sv实现的储存器地址管理方法、系统、计算机设备及存储介质。


背景技术:

1、存储空间在芯片中是必不可少的部分,在芯片中扮演着极其重要的角色。如果一颗芯片设计时,储存空间的边界、使用方式出现了错误,可能会导致芯片功能出现异常,甚至导致芯片无法正常启动。所以对应芯片内存储空间的验证就显得尤为重要,但是由于存储空间的使用根据模块功能的不同,往往遵循着一些规则,加上存储空间一般比较大,对于存储空间的验证,如何产生随机、高效、准确的激励将面临挑战。

2、各种存储空间的使用方法有所不同,例如在cpu共享ram空间中,要求地址空间的访问不能出现交叠,在一些缓存存储空间中,会将整块数据分散缓存在若干个小空间内,同样的不能与先前使用的空间出现的交叠。这些对于访问空间的需求会导致随机化的激励难以产生。

3、如图6,对于sv的随机化函数而言,具体实现实际上是使用的穷举法,仿真器会对随机数的每一个值进行每一个约束条件的判断,所以对随机化的空间的约束越多,运算速度越慢。

4、尤其是对于存储空间地址的穷举判断,因为随机数是一个地址,随机化的范围很大,导致每一次随机都是非常耗时的,所以直接依靠随机化函数加上约束产生随机化地址激励这种方式非常低效,

5、同时,在sv语言中,随机化激励一旦失败,会报出error,影响最终仿真结果的判断。


技术实现思路

1、为了解决上述现有技术中存在的技术问题,本发明提供了一种基于sv实现的储存器地址管理方法、系统、计算机设备及存储介质,旨在避免随机化失败的发生,提升随机化速度,加快存储空间中具有特殊约束要求的随机化地址激励开发速度。

2、为实现上述目的,本发明实施例提供了如下的技术方案:

3、第一方面,在本发明提供的一个实施例中,提供了基于sv实现的储存器地址管理方法,该方法包括以下步骤:

4、输入请求空间的请求,根据请求空间的请求地址约束统计可用地址元素;

5、选择最优计算地址空间方法,利用所述可用地址元素获取可用地址空间集合;

6、根据所述可用地址空间集合的大小选择申请空间的划分和随机化策略;

7、根据申请空间的划分和随机化策略随机挑选符合要求的可用空间,在可用空间的范围内随机获得申请空间。

8、作为本发明的进一步方案,所述请求地址约束包括地址范围和地址边界。

9、作为本发明的进一步方案,所述根据请求地址约束统计可用地址元素,包括:

10、根据请求的地址约束,遍历每个地址是否可用,并将可用的地址和不可用的地址分别放入两个队列中,以获得可用地址元素。

11、作为本发明的进一步方案,所述选择最优计算地址空间方法,利用所述可用地址元素,以获取可用地址空间集合,包括:

12、根据未被使用的地址元素集合还是已被使用的地址元素集合来计算可用地址空间集合。

13、作为本发明的进一步方案,所述选择最优计算地址空间方法,获取可用地址空间集合,包括:

14、比较可用地址队列和不可用地址队列,并选择计算量小的地址队列进行可用空间计算。

15、第二方面,在本发明提供的又一个实施例中,提供了基于sv实现的储存器地址管理系统,该系统包括:统计模块、空间集合获取模块、策略确定模块和输出模块;

16、所述统计模块,用于输入请求空间的请求,根据请求空间的请求地址约束统计可用地址元素;

17、所述空间集合获取模块,用于选择最优计算地址空间方法,利用所述可用地址元素,以获取可用地址空间集合;

18、所述策略确定模块,用于根据所述可用地址空间集合的大小选择申请空间的划分和随机化策略;

19、所述输出模块,用于根据申请空间的划分和随机化策略随机挑选符合要求的可用空间,在可用空间的范围内随机获得申请空间。

20、第三方面,在本发明提供的又一个实施例中,提供了基于sv实现的储存器地址管理装置,该装置包括:分配内存、第一模块和第二模块;

21、所述分配内存,用于接收申请空间的约束条件,并将所述约束条件发送给第一模块;接收可用空间集合,并将可用空间集合发送至第二模块;基于申请空间,输出申请空间的地址范围集合;

22、所述第一模块,基于所述约束条件,利用产生、元素所对应的索引值队列;根据、元素所对应的索引值队列,计算可用空间集合,并将所述可用集合发送给分配内存;

23、所述第二模块,用于基于所述可用空间集合和申请空间剩余大小来选择申请的子空间大小,返回申请空间至分配内存。

24、作为本发明的进一步方案,所述第二模块用于基于所述可用空间集合和申请空间剩余大小来选择申请的子空间大小,返回申请空间至分配内存,包括:

25、可用空间筛选器根据申请空间的大小从可用空间中进行筛选,获得可用空间集合;

26、空间随机发生器从可用空间集合随机选择输出空间;

27、在输出空间内随机获得申请空间大小的地址范围,即获得申请空间。

28、第四方面,在本发明提供的又一个实施例中,提供了一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,所述处理器加载并执行所述计算机程序时实现基于sv实现的储存器地址管理方法的步骤。

29、第五方面,在本发明提供的再一个实施例中,提供了一种存储介质,存储有计算机程序,所述计算机程序被处理器加载并执行时实现所述基于sv实现的储存器地址管理方法的步骤。

30、本发明提供的技术方案,具有如下有益效果:

31、本发明提供的基于sv实现的储存器地址管理方法、系统、计算机设备及存储介质,该方法输入请求空间的请求,根据请求空间的请求地址约束统计可用地址元素;选择最优计算地址空间方法,利用所述可用地址元素,以获取可用地址空间集合;根据所述可用地址空间集合的大小选择申请空间的划分和随机化策略;根据申请空间的划分和随机化策略随机挑选符合要求的可用空间,在可用空间的范围内随机获得申请空间。本发明通过拆解,在保证随机化的前提下,将更多的约束条件交给代码去完成判断,仅在极少的约束条件、随机元素下再启动随机化函数来保证请求地址空间的随机性;提高了复杂约束条件下随机化地址空间的运算速率,避免了随机化约束的失败对仿真结果检查的干扰,同时,作为一种地址空间的管理办法,具有很强的复用性和拓展性,大大提高了存储模块的验证效率。

32、本发明的这些方面或其他方面在以下实施例的描述中会更加简明易懂。应当理解的是,以上的一般描述和后文的细节描述仅是示例性和解释性的,并不能限制本发明。



技术特征:

1.一种基于sv实现的储存器地址管理方法,其特征在于,该方法包括:

2.如权利要求1所述的基于sv实现的储存器地址管理方法,其特征在于,所述请求地址约束包括地址范围和地址边界。

3.如权利要求1所述的基于sv实现的储存器地址管理方法,其特征在于,所述根据请求地址约束统计可用地址元素,包括:

4.如权利要求1所述的基于sv实现的储存器地址管理方法,其特征在于,所述选择计算地址空间方法,利用所述可用地址元素获取可用地址空间集合,包括:

5.如权利要求4所述的基于sv实现的储存器地址管理方法,其特征在于,所述选择计算地址空间方法获取可用地址空间集合,包括:

6.一种基于sv实现的储存器地址管理系统,其特征在于,该系统包括:统计模块、空间集合获取模块、策略确定模块和输出模块;

7.一种基于sv实现的储存器地址管理装置,其特征在于,该装置包括分配内存、第一模块和第二模块;

8.如权利要求7所述的基于sv实现的储存器地址管理装置,其特征在于,所述第二模块用于基于所述可用空间集合和申请空间剩余大小来选择申请的子空间大小,返回申请空间至分配内存,包括:

9.一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,所述处理器加载并执行所述计算机程序时实现如权利要求1-5任一项所述的基于sv实现的储存器地址管理方法的步骤。

10.一种存储介质,存储有计算机程序,所述计算机程序被处理器加载并执行时实现如权利要求1-5任一项所述的基于sv实现的储存器地址管理方法的步骤。


技术总结
本发明涉及存储技术领域,具体涉及基于SV实现的储存器地址管理方法、系统、计算机设备及存储介质。该方法包括以下步骤:输入请求空间的请求,根据请求空间的请求地址约束统计可用地址元素;选择最优计算地址空间方法,利用所述可用地址元素以获取可用地址空间集合;根据所述可用地址空间集合的大小选择申请空间的划分和随机化策略;根据申请空间的划分和随机化策略随机挑选符合要求的可用空间,在可用空间的范围内随机申请空间。本发明在保证随机化的前提下,将更多的约束条件交给代码去完成判断,仅在极少的约束条件、随机元素下再启动随机化函数来保证请求地址空间的随机性。

技术研发人员:覃耀,姚香君,烟晓凤,夏丽煖,陈国强,姜宝来,张楠,张世凯
受保护的技术使用者:山东云海国创云计算装备产业创新中心有限公司
技术研发日:
技术公布日:2024/1/15
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1