一种张量核算子生成方法、设备、存储介质及程序产品技术

本申请实施例提供了一种张量核算子生成方法、设备、存储介质及程序产品，涉及集成电路技术领域，该方法包括：在验证用例中例化上层约束类，然后在上层约束类的基础上例化与配置的图形组合数量相应的约束基类，并在每个约束基类中传入指令配置参考信息，故在每个约束基类中，基于指令配置参考信息配置关联的多种指令的参数信息，以及，基于配置的运算类型确定多种指令的指令粒度。最后基于各个约束基类关联的多种指令的参数信息和指令粒度，自动化地生成张量核算子，这样大大提高了验证算子的生成效率、算子规模和算子类型，从而提高了集成电路领域，尤其是人工智能芯片计算核的验证效率，实现对张量核进行全空间验证，提高张量核验证的完备性。

【技术实现步骤摘要】

本申请实施例涉及集成电路，尤其涉及人工智能芯片领域的一种张量核算子生成方法、设备、存储介质及程序产品。

技术介绍

1、在芯片设计过程中，需要同步对所设计的芯片要实现的功能和性能进行验证，以确保目前的芯片逻辑设计能够实现预期的功能或者达到预期的性能，若功能或者性能验证未能达到预期，则及时反馈给芯片设计工程师以进行设计阶段的修改，如此，在后续的芯片生产环节中，才能尽量保证生产出来的芯片符合设计目的和达到预期的性能和功能，若所有验证都在芯片流片后再进行，则修改的成本将十分昂贵。可以说，芯片验证贯穿芯片设计和生产的整个过程中。具体而言，芯片验证是指采用验证工具和验证方法，在芯片生产之前验证芯片设计是否符合芯片定义的需求规格。

2、在供专门应用的集成电路(application specific integrated circuit，简称asic)前端的图形处理器(graphics processing unit，简称gpu)计算核级验证过程中，需要生成大量的算子。相关技术下，由硬件开发人员人工完成算子的设计和撰写，或者，在复现(replay)环境中复现本文档来自技高网...

【技术保护点】

1.一种张量核算子生成方法，其特征在于，包括：

2.如权利要求1所述的方法，其特征在于，所述指令配置参考信息包括：指令间的公共约束以及指令定向配置方式；

3.如权利要求2所述的方法，其特征在于，所述基于传入的指令配置参考信息，配置所述约束基类关联的多种指令的参数信息，包括：

4.如权利要求1所述的方法，其特征在于，所述P个约束基类中的每个约束基类对应一个图形组合；

5.如权利要求4所述的方法，其特征在于，所述一个图形组合中每个图形包括多个图形单元；用于表达一个图形的指令的指令粒度为：所述一个图形包含的每个图形单元的尺寸。

6.如...

【技术特征摘要】

1.一种张量核算子生成方法，其特征在于，包括：

2.如权利要求1所述的方法，其特征在于，所述指令配置参考信息包括：指令间的公共约束以及指令定向配置方式；

3.如权利要求2所述的方法，其特征在于，所述基于传入的指令配置参考信息，配置所述约束基类关联的多种指令的参数信息，包括：

4.如权利要求1所述的方法，其特征在于，所述p个约束基类中的每个约束基类对应一个图形组合；

5.如权利要求4所述的方法，其特征在于，所述一个图形组合中每个图形包括多个图形单元；用于表达一个图形的指令的指令粒度为：所述一个图形包含的每个图形单元的尺寸。

6.如权利要求4所述的方法，其特征在于，所述p个图形组合包括以下至少一种属性：

7.如权利要求4至6任一所述的...

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