用于验证芯片的访存控制器的方法及装置、设备和介质制造方法及图纸

技术编号:43333991 阅读:21 留言:0更新日期:2024-11-15 20:30
本公开提供了一种用于验证芯片的访存控制器的方法及装置、设备和介质,涉及计算机技术领域,尤其涉及芯片验证技术领域。实现方案为:确定待访问的目标存储器中的至少一个占用地址;基于所述至少一个占用地址,确定针对随机地址生成函数的约束条件,其中,根据所述约束条件,所述随机地址生成函数的随机地址生成结果不包括所述至少一个占用地址;通过基于所述约束条件执行所述随机地址生成函数,生成第一目标地址;以及通过利用所述访存控制器访问所述目标存储器的所述第一目标地址,确定针对所述访存控制器的第一验证结果。

【技术实现步骤摘要】

本公开涉及计算机,尤其涉及芯片验证,具体涉及一种用于验证芯片的访存控制器的方法、装置、电子设备、计算机可读存储介质和计算机程序产品。


技术介绍

1、人工智能是研究使计算机来模拟人的某些思维过程和智能行为(如学习、推理、思考、规划等)的学科,既有硬件层面的技术也有软件层面的技术。人工智能硬件技术一般包括如传感器、专用人工智能芯片、云计算、分布式存储、大数据处理等技术;人工智能软件技术主要包括计算机视觉技术、语音识别技术、自然语言处理技术以及机器学习/深度学习、大数据处理技术、知识图谱技术等几大方向。

2、为了适应人工智能技术的发展,用于执行基于人工智能的算法的芯片规模和工艺进一步提升,因此需要应用更加精准高效的芯片验证技术来验证芯片的设计,特别是验证芯片的访存控制器,以使得芯片的访存控制器能够满足人工智能算法对访存性能的要求。

3、在此部分中描述的方法不一定是之前已经设想到或采用的方法。除非另有指明,否则不应假定此部分中描述的任何方法仅因其包括在此部分中就被认为是现有技术。类似地,除非另有指明,否则此部分中提及的问题不应认为在任何现有本文档来自技高网...

【技术保护点】

1.一种用于验证芯片的访存控制器的方法,所述方法包括:

2.如权利要求1所述的方法,其中,所述至少一个占用地址被存储在占用地址队列中。

3.如权利要求1或2所述的方法,还包括:

4.如权利要求3所述的方法,其中,所述通过基于更新后的所述约束条件执行所述随机地址生成函数,生成第二目标地址包括:

5.如权利要求4所述的方法,其中,所述预设条件包括:

6.如权利要求3-5中任一项所述的方法,其中,所述通过基于更新后的所述约束条件执行所述随机地址生成函数,生成第二目标地址包括:

7.如权利要求2-6中任一项所述的方法,还包括...

【技术特征摘要】

1.一种用于验证芯片的访存控制器的方法,所述方法包括:

2.如权利要求1所述的方法,其中,所述至少一个占用地址被存储在占用地址队列中。

3.如权利要求1或2所述的方法,还包括:

4.如权利要求3所述的方法,其中,所述通过基于更新后的所述约束条件执行所述随机地址生成函数,生成第二目标地址包括:

5.如权利要求4所述的方法,其中,所述预设条件包括:

6.如权利要求3-5中任一项所述的方法,其中,所述通过基于更新后的所述约束条件执行所述随机地址生成函数,生成第二目标地址包括:

7.如权利要求2-6中任一项所述的方法,还包括:

8.如权利要求1-7中任一项所述的方法,还包括:

9.一种用于验证芯片的访存控制器的装置,所述装置包括:

10.如权利要求9所述的装置,其中,所述...

【专利技术属性】
技术研发人员:黄治涵
申请(专利权)人:昆仑芯北京科技有限公司
类型:发明
国别省市:

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

1