System.ArgumentOutOfRangeException: 索引和长度必须引用该字符串内的位置。 参数名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind() 寄存器的验证方法及装置制造方法及图纸_技高网

寄存器的验证方法及装置制造方法及图纸

技术编号:41307036 阅读:3 留言:0更新日期:2024-05-13 14:51
本发明专利技术提供一种寄存器的验证方法及装置,涉及芯片技术领域,寄存器的验证方法包括:利用随机生成的2N个互不一致的随机数,对N个待验证寄存器执行验证操作;其中,N为大于1的整数,所述验证操作与读取操作和写入操作中的至少一项相关。本发明专利技术利用随机生成的2N个互不一致的随机数,对N个待验证寄存器执行验证操作,以避免出现例如某两个寄存器的随机数相同,在验证时难以区分这两个寄存器之间是否存在粘连等情况,利用不同的随机数进行验证,可以有效区分各个待验证寄存器,进而有效验证两个待验证寄存器之间是否存在粘连,提高了验证粘连问题的准确性。

【技术实现步骤摘要】

本专利技术涉及芯片,尤其涉及一种寄存器的验证方法及装置


技术介绍

1、在数字集成电路领域,无论是中央处理器(central processing unit,cpu)、图形处理器(graphics processing unit,gpu)、系统级芯片(system on chip,soc)还是普通网际互连协议(internet protoco,ip),寄存器都是最不可或缺的逻辑器件。寄存器的验证可以认为是数字集成电路测试必不可少的工作。寄存器在设计中引入的粘连问题是寄存器测试中很难发现的漏洞(bug),因为它属于寄存器之间的关联问题,理论上任何两个寄存器之间都可能存在粘连。


技术实现思路

1、本专利技术提供一种寄存器的验证方法及装置,用以解决现有技术中任何两个寄存器之间都可能存在粘连的问题。

2、本专利技术提供一种寄存器的验证方法,包括:

3、利用随机生成的2n个互不一致的随机数,对n个待验证寄存器执行验证操作;

4、其中,n为大于1的整数,所述验证操作与读取操作和写入操作中的至少一项相关。

5、根据本专利技术提供的一种寄存器的验证方法,所述利用随机生成的2n个互不一致的随机数,对n个待验证寄存器执行验证操作,包括:

6、利用所述随机数中的n个第一随机数,按照升序对所述n个待验证寄存器执行所述验证操作;

7、利用所述随机数中的n个第二随机数,按照降序对所述n个待验证寄存器执行所述验证操作。

8、根据本专利技术提供的一种寄存器的验证方法,所述按照升序对所述n个待验证寄存器执行所述验证操作,包括:

9、按照升序,对所述n个待验证寄存器中的每一个待验证寄存器,执行以下步骤:

10、读取所述待验证寄存器的第一当前值,验证所述第一当前值与所述待验证寄存器对应的默认值是否一致;

11、在所述第一当前值与所述默认值一致的情况下,把所述待验证寄存器对应的第一随机数写入所述待验证寄存器;

12、读取所述待验证寄存器的第二当前值,验证所述第二当前值与写入所述待验证寄存器的第一随机数是否一致。

13、根据本专利技术提供的一种寄存器的验证方法,所述利用所述随机数中的n个第二随机数,按照降序对所述n个待验证寄存器执行所述验证操作,包括:

14、按照降序,对所述n个待验证寄存器中的每一个待验证寄存器,执行以下步骤:

15、读取所述待验证寄存器的第三当前值,验证所述第三当前值与写入所述待验证寄存器的第一随机数是否一致;

16、在所述第三当前值与写入所述待验证寄存器的第一随机数一致的情况下,把所述待验证寄存器对应的第二随机数写入所述待验证寄存器;

17、读取所述待验证寄存器的第四当前值,验证所述第四当前值与写入所述待验证寄存器的第二随机数是否一致。

18、根据本专利技术提供的一种寄存器的验证方法,所述方法还包括:

19、在发生第一事件的情况下,确定所述待验证寄存器验证失败;其中,所述发生第一事件包括以下至少一项:

20、所述第一当前值与所述默认值不一致;

21、所述第二当前值与写入所述待验证寄存器的第一随机数不一致;

22、所述第三当前值与写入所述待验证寄存器的第一随机数不一致;

23、所述第四当前值与写入所述待验证寄存器的第二随机数不一致。

24、根据本专利技术提供的一种寄存器的验证方法,所述n个第一随机数、所述n个第二随机数与所述n个待验证寄存器对应的默认值均不同。

25、根据本专利技术提供的一种寄存器的验证方法,所述方法还包括:

26、生成所述n个第一随机数;

27、对所述n个第一随机数执行取反操作,得到所述n个第二随机数。

28、本专利技术还提供一种寄存器的验证装置,包括:

29、验证模块,用于:利用随机生成的2n个互不一致的随机数,对n个待验证寄存器执行验证操作;

30、其中,n为大于1的整数,所述验证操作与读取操作和写入操作中的至少一项相关。

31、本专利技术还提供一种电子设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,所述处理器执行所述程序时实现如上述任一种所述寄存器的验证方法。

32、本专利技术还提供一种非暂态计算机可读存储介质,其上存储有计算机程序,该计算机程序被处理器执行时实现如上述任一种所述寄存器的验证方法。

33、本专利技术还提供一种计算机程序产品,包括计算机程序,所述计算机程序被处理器执行时实现如上述任一种所述寄存器的验证方法。

34、本专利技术提供的寄存器的验证方法及装置,利用随机生成的2n个互不一致的随机数,对n个待验证寄存器执行验证操作,以避免出现例如某两个寄存器的随机数相同,在验证时难以区分这两个寄存器之间是否存在粘连等情况,利用不同的随机数进行验证,可以有效区分各个待验证寄存器,进而有效验证两个待验证寄存器之间是否存在粘连,提高了验证粘连问题的准确性。

本文档来自技高网...

【技术保护点】

1.一种寄存器的验证方法,其特征在于,包括:

2.根据权利要求1所述的寄存器的验证方法,其特征在于,所述利用随机生成的2N个互不一致的随机数,对N个待验证寄存器执行验证操作,包括:

3.根据权利要求2所述的寄存器的验证方法,其特征在于,所述按照升序对所述N个待验证寄存器执行所述验证操作,包括:

4.根据权利要求3所述的寄存器的验证方法,其特征在于,所述利用所述随机数中的N个第二随机数,按照降序对所述N个待验证寄存器执行所述验证操作,包括:

5.根据权利要求4所述的寄存器的验证方法,其特征在于,所述方法还包括:

6.根据权利要求5所述的寄存器的验证方法,其特征在于,所述N个第一随机数、所述N个第二随机数与所述N个待验证寄存器对应的默认值均不同。

7.根据权利要求2至6任一项所述的寄存器的验证方法,其特征在于,所述方法还包括:

8.一种寄存器的验证装置,其特征在于,包括:

9.一种电子设备,包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,其特征在于,所述处理器执行所述程序时实现如权利要求1至7任一项所述寄存器的验证方法。

10.一种非暂态计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现如权利要求1至7任一项所述寄存器的验证方法。

...

【技术特征摘要】

1.一种寄存器的验证方法,其特征在于,包括:

2.根据权利要求1所述的寄存器的验证方法,其特征在于,所述利用随机生成的2n个互不一致的随机数,对n个待验证寄存器执行验证操作,包括:

3.根据权利要求2所述的寄存器的验证方法,其特征在于,所述按照升序对所述n个待验证寄存器执行所述验证操作,包括:

4.根据权利要求3所述的寄存器的验证方法,其特征在于,所述利用所述随机数中的n个第二随机数,按照降序对所述n个待验证寄存器执行所述验证操作,包括:

5.根据权利要求4所述的寄存器的验证方法,其特征在于,所述方法还包括:

6.根据权利要求5所述的寄存器...

【专利技术属性】
技术研发人员:请求不公布姓名
申请(专利权)人:上海壁仞科技股份有限公司
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1