一种约束信息的集中可视化方法、电子设备及存储介质
摘要文本
本发明涉及芯片验证技术领域，特别是涉及一种约束信息的集中可视化方法、电子设备及存储介质。其通过对源代码进行解析得到语法树；从根节点遍历语法树，根据约束信息提取策略提取语法树中节点的约束信息并进行可视化显示，具体步骤包括：通过约束信息提取策略提取语法树中包含约束信息的所有目标子树；回溯所有目标子树的根节点的先辈节点，根据先辈节点获取目标子树的命名空间信息；根据所有目标子树、每个目标子树的命名空间信息和每个节点的行编号提取源代码中相同行编号的源代码，得到约束信息，方便用户集中可视化查看源代码中的约束信息。
申请人信息
- 申请人:成都融见软件科技有限公司; 上海合见工业软件集团有限公司
- 申请人地址:610095 四川省成都市中国(四川)自由贸易试验区成都高新区吉泰二路266号18栋1单元6楼602号
- 发明人: 成都融见软件科技有限公司; 上海合见工业软件集团有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种约束信息的集中可视化方法、电子设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202410186736.6 |
| 申请日 | 2024/2/20 |
| 公告号 | CN117743658A |
| 公开日 | 2024/3/22 |
| IPC主分类号 | G06F16/904 |
| 权利人 | 成都融见软件科技有限公司; 上海合见工业软件集团有限公司 |
| 发明人 | 陈宗朋 |
| 地址 | 四川省成都市中国(四川)自由贸易试验区成都高新区吉泰二路266号18栋1单元6楼602号; 上海市浦东新区友诚路149号SK大厦29层 |
专利主权项内容
1.一种约束信息的集中可视化方法，其特征在于，所述方法包括如下步骤：S100，对源代码进行解析得到语法树，所述语法树包括多个节点，其中每个节点的属性包括当前节点在源代码中的行编号、当前节点的语法类型、当前节点的父节点和所有子节点的身份标识；S200，从根节点遍历语法树，根据约束信息提取策略提取语法树中的约束信息并进行可视化显示，包括：S210，通过约束信息提取策略提取语法树中包含约束信息的所有目标子树，包括：S212，通过约束信息提取策略判断第i个节点的语法类型，当第i个节点的语法类型属于不包含约束信息的非约束类型时，结束第i个节点的判断；当第i个节点的语法类型属于包含约束信息的约束类型时，提取以第i个节点为根节点的目标子树，结束第i个节点的判断；当第i个节点的语法类型属于可能包含约束信息的未知类型时，执行S214；S214，根据第i个节点的属性中所有子节点的身份标识，遍历所有子节点，根据S212判断每个子节点；S220，回溯所有目标子树的根节点的先辈节点，根据先辈节点获取目标子树的命名空间信息；S230，根据所有目标子树、每个目标子树的命名空间信息和每个节点的行编号提取源代码中相同行编号的源代码，得到约束信息。。该数据由<马克数据网>整理