一种约束信息的集中可视化方法、电子设备及存储介质2024
- 申请专利号:CN202410186736.6
- 公开(公告)日:2024-04-19
- 公开(公告)号:CN117743658A
- 申请人:成都融见软件科技有限公司|||上海合见工业软件集团有限公司
专利内容
(19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 117743658 A (43)申请公布日 2024.03.22 (21)申请号 202410186736.6 (22)申请日 2024.02.20 (71)申请人 成都融见软件科技有限公司 地址 610095 四川省成都市中国(四川)自 由贸易试验区成都高新区吉泰二路 266号18栋1单元6楼602号 申请人 上海合见工业软件集团有限公司 (72)发明人 陈宗朋 (74)专利代理机构 北京锺维联合知识产权代理 有限公司 11579 专利代理师 李慧敏 (51)Int.Cl. G06F 16/904 (2019.01) G06F 8/30 (2018.01) G06F 8/41 (2018.01) 权利要求书1页 说明书5页 附图1页 (54)发明名称 一种约束信息的集中可视化方法、电子设备 及存储介质 (57)摘要 本发明涉及芯片验证技术领域,特别是涉及 一种约束信息的集中可视化方法、电子设备及存 储介质。其通过对源代码进行解析得到语法树; 从根节点遍历语法树,根据约束信息提取策略提 取语法树中节点的约束信息并进行可视化显示, 具体步骤包括:通过约束信息提取策略提取语法 树中包含约束信息的所有目标子树;回溯所有目 标子树的根节点的先辈节点,根据先辈节点获取 目标子树的命名空间信息;根据所有目标子树、 每个目标子树的命名空间信息和每个节点的行