← 返回列表
一种动态构建验证环境的方法、电子设备及存储介质
申请人信息
- 申请人:沐曦集成电路(上海)有限公司
- 申请人地址:201306 上海市浦东新区中国(上海)自由贸易试验区临港新片区环湖西二路888号C楼
- 发明人: 沐曦集成电路(上海)有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种动态构建验证环境的方法、电子设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311548210.X |
| 申请日 | 2023/11/20 |
| 公告号 | CN117473918A |
| 公开日 | 2024/1/30 |
| IPC主分类号 | G06F30/3308 |
| 权利人 | 沐曦集成电路(上海)有限公司 |
| 发明人 | 卫鹏飞 |
| 地址 | 上海市浦东新区中国(上海)自由贸易试验区临港新片区环湖西二路888号C楼 |
摘要文本
沐曦集成电路(上海)有限公司获取“一种透气窗帘布”专利技术，本发明涉及芯片设计领域，特别是涉及一种动态构建验证环境的方法、电子设备及存储介质，其通过获取待验设计DUT、组成验证环境的多个主端组件UVC1和从端组件UVC2，动态生成组成验证环境的参考模型、比较器以及各组件之间的连接关系，动态生成步骤包括：获取结构配置文件，根据结构配置文件生成参考模型中每个主端的事务处理模型、比较器以及各组件之间的连接关系。本发明相对于现有技术不仅降低了工作量，不容易出错，且当用户修改设计时只需要修改结构配置文件即可动态完成对验证环境的修改。
专利主权项内容
1.一种动态构建验证环境的方法，其特征在于，所述方法包括如下步骤：S100，获取待验设计DUT，所述DUT包括多个主端接口和多个从端接口；S200，获取组成验证环境的多个主端组件UVC1和从端组件UVC2，每个UVC1与DUT中的一个主端接口连接，每个UVC2与DUT中的一个从端接口连接；S300，动态生成组成验证环境的参考模型、比较器以及各验证组件之间的连接关系，包括：S310，获取结构配置文件，所述结构配置文件包括主端的唯一身份标识列表mip、每个主端可访问的从端列表mts、以及每个从端对应的可主动访问当前从端的主端列表stm；S320，生成参考模型，包括：S321，根据mip生成参考模型中每个主端的事务处理模型；iS330，生成比较器，包括：根据mts生成比较器中每个UVC1与所有UVC2分别组成的比较单元列表；S340，生成各验证组件之间的连接关系，包括：S341，根据主端的唯一身份标识生成UVC1、主端的事务处理模型和比较单元列表之间的连接关系；S342，根据从端的唯一身份标识和stm生成UVC2和比较单元之间的连接关系。