公开(公告)号：CN114218880B

公开(公告)日：2022-05-03

申请号：CN202210164286.1

申请日：2022-02-23

申请人： 飞腾信息技术有限公司

发明人： 刘子闻 ,  张菲娟 ,  朱红 ,  范君健 ,  杨庆娜

IPC分类号： G06F30/33

摘要： 提供一种通用验证方法学UVM环境的搭建方法、芯片验证方法和验证系统。UVM环境包括第一级UVM环境和第二级UVM环境，第一级UVM环境的层级低于第二级UVM环境的层级，第一级UVM环境包含第一UVM容器，第一UVM容器中封装的UVM组件用于对第一待测设计DUT进行功能验证，第二级UVM环境包括至少一个第一DUT，该方法包括：将第一UVM容器封装在第一检测器中，第一检测器的接口与第一待测设计的接口相同，第一检测器的接口与UVM组件的虚拟接口相互连接；将第一检测器与第二级UVM环境中的第一DUT绑定，使得第一检测器的接口与第一DUT的接口自动连接，有利于简化第一DUT与第一级UVM环境的绑定过程。

公开(公告)号：CN114218880A

公开(公告)日：2022-03-22

申请号：CN202210164286.1

申请日：2022-02-23

申请人： 飞腾信息技术有限公司

发明人： 刘子闻 ,  张菲娟 ,  朱红 ,  范君健 ,  杨庆娜

IPC分类号： G06F30/33

摘要： 提供一种通用验证方法学UVM环境的搭建方法、芯片验证方法和验证系统。UVM环境包括第一级UVM环境和第二级UVM环境，第一级UVM环境的层级低于第二级UVM环境的层级，第一级UVM环境包含第一UVM容器，第一UVM容器中封装的UVM组件用于对第一待测设计DUT进行功能验证，第二级UVM环境包括至少一个第一DUT，该方法包括：将第一UVM容器封装在第一检测器中，第一检测器的接口与第一待测设计的接口相同，第一检测器的接口与UVM组件的虚拟接口相互连接；将第一检测器与第二级UVM环境中的第一DUT绑定，使得第一检测器的接口与第一DUT的接口自动连接，有利于简化第一DUT与第一级UVM环境的绑定过程。

公开(公告)号：CN114580344B

公开(公告)日：2022-08-16

申请号：CN202210452390.0

申请日：2022-04-24

申请人： 飞腾信息技术有限公司

发明人： 孙雪鹏 ,  范君健 ,  李留 ,  杨庆娜 ,  王红灵

IPC分类号： G06F30/398

摘要： 本申请提供一种测试激励生成方法、验证方法、验证系统及相关设备，该方法包括：获取激励请求，所述激励请求携带有待测Cache设计一致性测试场景所需的激励参数，所述待测Cache设计被配置成为多核处理器与主存之间进行数据交互时提供缓存空间，所述激励参数包括所述测试场景指定的初始请求节点、最终请求节点和内存地址；响应于所述激励请求，通过所述初始请求节点构造所述内存地址对应的所述待测Cache设计的起始状态；将所述最终请求节点和所述内存地址转化为激励控制函数的输入项，生成所述测试场景下的激励文件。本申请相比于手动编写测试激励的方式，效率更高，适用性更强。

公开(公告)号：CN112613254B

公开(公告)日：2022-01-25

申请号：CN202011377474.X

申请日：2020-11-30

申请人： 飞腾信息技术有限公司

发明人： 杨庆娜 ,  贾亚平 ,  戴梅芝 ,  朱红 ,  晁张虎 ,  柏颖 ,  王忠弈 ,  张峰境 ,  范君健 ,  张菲娟 ,  马玲芝

IPC分类号： G06F30/33

摘要： 本发明公开了一种处理器内部镜像控制模块注错验证系统及方法，该系统包括：注错模块，用来根据配置的敏感地址位以及请求的来源，生成不同状态的读响应；每一个注错模块和一个镜像控制模块相连；软件测试模块，用于根据注错模块配置的敏感地址位，构造与敏感地址位相匹配的不同读写请求报文激励发往互为镜像的一组镜像控制模块，并配合注错模块构造包含各种错误类型的验证场景，实现对镜像控制模块功能的验证。该方法可以基于上述系统来实现。本发明具有原理简单、使用方便、灵活性好、适用范围广等优点。

公开(公告)号：CN118503118A

公开(公告)日：2024-08-16

申请号：CN202410670688.8

申请日：2024-05-28

申请人： 飞腾信息技术有限公司

发明人： 张峰境 ,  范君健 ,  贾亚平 ,  刘子闻

IPC分类号： G06F11/36

摘要： 本发明公开了一种验证环境搭建方法、装置、验证系统和芯片验证方法，在搭建验证环境的过程中，提供一种通用的文件配置方式，通过获取待测设计的环境配置信息和UVM接口信息来创建工程目录；工程目录包括存储环境文件和环境运行脚本的第一文件目录以及存储代理器的验证组件的第二文件目录，第一文件目录和第二文件目录并列于工程目录的同一层级。由于在环境创建过程中，文件内容已知，所以可以通过脚本集成验证接口IP，减少在接口集成上花费的时间，以及对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时方便使用者快速查找文件，统一目录结构和脚本可以方便使用者快速交接，提高验证环境的通用性和验证效率。

公开(公告)号：CN114580344A

公开(公告)日：2022-06-03

申请号：CN202210452390.0

申请日：2022-04-24

申请人： 飞腾信息技术有限公司

发明人： 孙雪鹏 ,  范君健 ,  李留 ,  杨庆娜 ,  王红灵

IPC分类号： G06F30/398

摘要： 本申请提供一种测试激励生成方法、验证方法、验证系统及相关设备，该方法包括：获取激励请求，所述激励请求携带有待测Cache设计一致性测试场景所需的激励参数，所述待测Cache设计被配置成为多核处理器与主存之间进行数据交互时提供缓存空间，所述激励参数包括所述测试场景指定的初始请求节点、最终请求节点和内存地址；响应于所述激励请求，通过所述初始请求节点构造所述内存地址对应的所述待测Cache设计的起始状态；将所述最终请求节点和所述内存地址转化为激励控制函数的输入项，生成所述测试场景下的激励文件。本申请相比于手动编写测试激励的方式，效率更高，适用性更强。

公开(公告)号：CN112613254A

公开(公告)日：2021-04-06

申请号：CN202011377474.X

申请日：2020-11-30

申请人： 天津飞腾信息技术有限公司

发明人： 杨庆娜 ,  贾亚平 ,  戴梅芝 ,  朱红 ,  晁张虎 ,  柏颖 ,  王忠弈 ,  张峰境 ,  范君健 ,  张菲娟 ,  马玲芝

IPC分类号： G06F30/33

摘要： 本发明公开了一种处理器内部镜像控制模块注错验证系统及方法，该系统包括：注错模块，用来根据配置的敏感地址位以及请求的来源，生成不同状态的读响应；每一个注错模块和一个镜像控制模块相连；软件测试模块，用于根据注错模块配置的敏感地址位，构造与敏感地址位相匹配的不同读写请求报文激励发往互为镜像的一组镜像控制模块，并配合注错模块构造包含各种错误类型的验证场景，实现对镜像控制模块功能的验证。该方法可以基于上述系统来实现。本发明具有原理简单、使用方便、灵活性好、适用范围广等优点。