“成都融见软件科技有限公司”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果32个，建议您升级VIP下载更多相关专利

[发明专利]一种目标文件部分加载系统-CN202310597926.2在审
发明人：汤杰;高波;金俏慧 -专利权人： 成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-10-27 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种目标文件部分加载系统，该系统的数据库中包括索引文件，索引文件包括M1个按照设计模块身份标识划分的索引模块，每个索引模块包括设计模块身份标识和多个覆盖指标组，每个覆盖指标组包括覆盖指标类型和设计模块在目标文件中的位置信息；加载时根据该索引文件得到设计模块在覆盖指标文件中的位置信息，并根据该位置信息加载覆盖指标文件中的相应设计模块，在此过程中索引文件的访问只占用一个IO接口，并且能够使用户在指定对应的设计模块或者实例时快速从索引文件中获取相应设计模块在目标文件中的位置范围，进而加载该位置范围内的数据块，解决了访问数据库时数据加载慢的技术问题。
一种目标文件部分加载系统

[发明专利]基于设计层级的数据搜索系统-CN202311176816.5在审
发明人：叶擎双;孙翔 -专利权人： 成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-09-13 - 公布日： 2023-10-27 - 主分类号： G06F16/2453 文献下载
摘要：本发明涉及计算机技术领域，尤其涉及一种基于设计层级的数据搜索系统，实现步骤S1、获取搜索表达式a1?a2?…?an?…?aN；步骤S2、若N=1，执行步骤S3，若N1，则将搜索表达式分割为a1?a2?…?aN‑1和aN两部分；步骤S3、基于aN搜索模块定义列表，提取所有包含aN的类定义信息对应的预选模块实例信息和预选模块层级信息；步骤S4、生成所有候选实例路径，将候选实例路径拼接aN生成候选实例，若N等于1，则将候选实例确定为目标搜索实例，若N大于1，则执行步骤S5；步骤S5、将包含a1?a2?…?aN‑1的候选实例确定为目标搜索实例。本发明降低了时间和内存开销，提高搜索效率。
基于设计层级数据搜索系统

[发明专利]抽象语法树和源代码坐标的关联方法、电子设备和介质-CN202311196937.6在审
发明人：赵建;张邦全 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-09-18 - 公布日： 2023-10-27 - 主分类号： G06F8/41 文献下载
摘要：本发明涉及芯片验证技术领域，尤其涉及一种抽象语法树和源代码坐标的关联方法、电子设备和介质，方法包括步骤S1、对源代码中所有文件进行整数标识编码，生成文件序号，生成文件序号映射表；步骤S2、在生成抽象语法树的过程中，记录每一语法节点对应的源代码在对应文件中相对于文件起始位置的偏移信息以及对应的字符串长度；步骤S3、基于每一语法节点对应的文件序号、偏移信息和字符串长度生成用于定义语法节点位置信息的三元组；步骤S4、将每一语法节点对应的三元组存储在所述抽象语法树中，建立抽象语法树和源代码坐标的关联关系。本发明降低了关联抽象语法树和源代码坐标的内存开销，提高了抽象语法树的生成效率。
抽象语法源代码标的关联方法电子设备介质

[发明专利]基于使用行的宏定义文本展开方法、电子设备和介质-CN202311066610.7有效
发明人：张邦全;赵建;林航 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-08-23 - 公布日： 2023-10-27 - 主分类号： G06F16/16 文献下载
摘要：本发明涉及计算机技术领域，尤其涉及一种基于使用行的宏定义文本展开方法、电子设备和介质，方法包括步骤S1、初始化宏使用行展开列表为空；步骤S2、判断是否包括目标宏使用行的宏展开文本，若是，则将目标宏使用行对应的宏定义展开文本确定为目标展开文本，结束流程，否则，获取目标宏使用行的原始代码设置在代码存储单元中，执行步骤S3；步骤S3、确定当前待展开宏，在代码存储单元中展开当前待展开宏；步骤S4、判断目标宏使用行的宏是否全部展开，若是，则将当前代码存储单元中存储的代码确定为目标宏展开文本，并存储至宏展开列表中，结束流程，否则，返回执行步骤S3。本发明节省了宏文本展开的内存和计算资源消耗。
基于使用定义文本展开方法电子设备介质

[发明专利]一种生成随机激励的约束分类方法、电子设备及存储介质-CN202311190560.3在审
发明人：石光辉;倪恩志 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-09-15 - 公布日： 2023-10-24 - 主分类号： G06F18/24 文献下载
摘要：本发明提供了本发明涉及芯片验证领域，特别是涉及一种生成随机激励的约束分类方法、电子设备及存储介质，其通过消耗时长为每个约束满足问题匹配求解效率最高的约束求解器类型，并将约束求解器类型作为标签为每个约束求解问题进行标注，得到训练数据库，通过将训练数据库中的所有训练样本训练每个人工智能算法模型，使其将约束满足问题准确分类，匹配合适的约束求解器，分类准确度高，显著提升了约束求解问题的效率。
一种生成随机激励约束分类方法电子设备存储介质

[发明专利]约束求解器输入信号的预处理方法、电子设备及存储介质-CN202311190562.2在审
发明人：倪恩志;陈颖;石光辉 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-09-15 - 公布日： 2023-10-24 - 主分类号： G06F18/10 文献下载
摘要：本发明涉及芯片验证领域，特别是涉及一种约束求解器输入信号的预处理方法、电子设备及存储介质。其通过本发明提供的方法对约束求解器的输入数据进行预处理，通过约束变量的当前域和约束表达式的值域做交集来缩小约束变量的近似值域，然后通过获取约束变量的关联表达式，将关联表达式中的子表达式替换为确定的目标结果，根据确定的目标结果优化关联表达式得到目标表达式，目标表达式即为预处理之后的表达式，将目标表达式输入约束求解器进行求解，能够大幅度的降低约束问题的复杂度，减少硬件计算资源开销和计算时间的开销，提高求解效率。
约束求解输入信号预处理方法电子设备存储介质

[发明专利]层次结构树节点的筛选方法、电子设备和介质-CN202311170135.8在审
发明人：林航;张邦全;郑丽英 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-09-12 - 公布日： 2023-10-20 - 主分类号： G06F16/9035 文献下载
摘要：本发明涉及芯片技术领域，尤其涉及一种层次结构树节点的筛选方法、电子设备和介质，本发明无需直接生成层次结构树中所有可能相关树节点，而是基于层次结构树的节点顺序将底层数据进行排序，基于底层数据中进行节点筛选，在完成节点筛选之后，再生成真正需要呈现的节点，减少了不相关节点的生成数量，提高了层次结构树节点的筛选效率，减少了节点筛选内存的占用。
层次结构节点筛选方法电子设备介质

[发明专利]构建SystemVerilog对象多层结构的按需加载方法、电子设备和介质-CN202310892683.5在审
发明人：林航 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-20 - 公布日： 2023-10-17 - 主分类号： G06F30/33 文献下载
摘要：本发明涉及芯片技术领域，尤其涉及一种构建SystemVerilog对象多层结构的按需加载方法、电子设备和介质，方法包括步骤S1、获取SV子类对象需要构建的数据对应的构建数据类型和构建关键字，将多层结构中的SV子类对象对应的层级作为当前层级，执行步骤S2；步骤S2、判断内存中是否存在对应的缓存数据，若是，执行步骤S4，否则，执行步骤S3；步骤S3、加载当前层级中的构建数据类型对应的所有数据，并缓存至内存中；步骤S4、基于构建关键字进行匹配，若成功，则返回目标数据，结束流程，否则，执行步骤S5；步骤S5、将当前层级所对应的父类作为当前层级，返回步骤S2。本发明降低了大部分数据建模时间以及内存占用。
构建 systemverilog 对象多层结构加载方法电子设备介质

[发明专利]基于BDD求解功能覆盖组条件约束语句的方法、设备和介质-CN202310920127.4有效
发明人：陈颖;冀伟安 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-26 - 公布日： 2023-10-13 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及芯片验证技术领域，尤其涉及一种基于BDD求解功能覆盖组条件约束语句的方法、设备和介质,方法包括步骤S1、获取功能覆盖组中的目标条件约束语句对应的目标变量；步骤S2、获取每一An对应的比特位数Bn，确定比特位总数M；步骤S3、构建M个布尔变量，将目标条件约束语句转换为由M个布尔变量表示的目标布尔函数；步骤S4、基于M个布尔变量和目标布尔函数生成目标BDD，目标BDD中每一条从根节点到叶子True节点的路径表示一组满足目标条件约束语句的变量取值；步骤S5、遍历目标BDD的每一条从根节点到叶子True节点的路径，生成目标条件约束语句的目标解。本发明提高了功能覆盖组的条件约束语句的求解效率。
基于 bdd 求解功能覆盖条件约束语句方法设备介质

[发明专利]交叉仓所覆盖的交叉项数量的获取方法、电子设备和介质-CN202310920129.3有效
发明人：冀伟安 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-26 - 公布日： 2023-10-13 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及芯片验证技术领域，尤其涉及一种交叉仓所覆盖的交叉项数量的获取方法、电子设备和介质，方法包括步骤S1、获取用户定义的交叉仓对应的变量；步骤S2、构建变量取值和变量仓id的映射关系，建立N维坐标系，每一维度对应一个变量An；步骤S3、获取覆盖组中的用户定义的交叉仓；步骤S4、确定每一Bm中每一An对应的变量仓id集合；步骤S5、生成Bm对应的N维矩形集合，在N维坐标系中构建每一Bm对应的N维矩形生成所有Bm对应的N维矩形所覆盖的区域；步骤S6、基于扫描线算法获取所有Bm对应的N维矩形所覆盖的区域对应的交叉点数，确定交叉仓所覆盖的交叉项数量。本发明能够快速准确获取交叉仓所覆盖的交叉项数量。
交叉覆盖数量获取方法电子设备介质

[发明专利]一种源文件修改定位系统及可读存储介质-CN202310844661.1在审
发明人：冯通 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-11 - 公布日： 2023-09-29 - 主分类号： G06F30/33 文献下载
摘要：本发明涉及芯片验证技术领域，特别是涉及一种源文件修改定位系统及可读存储介质，其通过测试失败的测试用例查找第二子数据库，得到相应的关联信息列表；分别根据关联信息列表中所有的关联映射关系查找第一子数据库中的二级映射关系，得到与每个关联映射关系匹配的二级映射关系；根据每个二级映射关系所属的一级映射关系，得到修改列表的候选身份标识集合；根据候选身份标识集合中每个候选身份标识绑定的文件在修改前后测试的数据变化，确定目标身份标识。通过该方法能够快速定位到目标身份标识，在得到目标身份标识之后就能够快速查找测试失败的原因，进而缩短验证周期，提高验证效率。
一种源文件修改定位系统可读存储介质

[发明专利]一种数据库部分加载系统-CN202310597923.9在审
发明人：汤杰;高波;金俏慧 -专利权人： 成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-09-29 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种数据库部分加载系统，该系统的数据库中包括按照覆盖指标分类的N个索引文件，每个索引文件中包括多个设计模块索引数据块，每个设计模块索引数据块中包括设计模块身份标识及其在覆盖指标文件中的位置信息；在进行加载时，根据用户指定的对象获取相应的设计模块身份标识和覆盖指标类型，并通过索引文件查找设计模块在覆盖指标文件中的位置信息，根据查找到的位置信息加载覆盖指标文件中的数据块；通过索引文件和覆盖指标文件之间的配合，达到部分加载的目的，大幅度减少了加载的数据量，解决了在根据用户指定对象访问数据库时数据加载慢的技术问题。
一种数据库部分加载系统

[发明专利]可变芯片设计代码的注解区域重用显示方法、设备和介质-CN202310782818.2在审
发明人：张邦全 -专利权人： 成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-06-29 - 公布日： 2023-09-29 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及一种可变芯片设计代码的注解区域重用显示方法、设备和介质，包括步骤S1、将可视界面划分为第一显示区域和第二显示区域；步骤S2、获取D0和M0；步骤S3、若芯片设计代码改变，获取D1和M1；步骤S4、若D0和D1中的元素数量不相等，和/或，M0和M1不相等，执行步骤S9，否则，设置i＝1,执行步骤S5；步骤S5、若di0和di1一致，执行步骤S7，否则，执行步骤S6；步骤S6、确定待重写子区域，生成注释重写信息，执行步骤S7；步骤S7、若iJ,设置i＝i+1，返回步骤S5，若i＝J,则执行步骤S8；步骤S8、重写对应的待重写子区域，执行步骤S10；步骤S9、基于D1重写第二显示区域；步骤S10、设置D0＝D1，M0＝M1，返回步骤S3。本发明提高了可变芯片设计代码注解信息显示的显示效率。
可变芯片设计代码注解区域重用显示方法设备介质

[发明专利]基于约束求解器的条件约束语句求解方法、设备和介质-CN202310920131.0有效
发明人：冀伟安;陈颖 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-26 - 公布日： 2023-09-29 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及芯片验证技术领域，尤其涉及一种基于约束求解器的条件约束语句求解方法、设备和介质，方法包括：步骤S1、获取功能覆盖组中的交叉项的条件约束语句和对应的变量信息；步骤S2、基于交叉项的条件约束语句对应的变量信息生成每一变量的仓集合，基于每一变量的仓集合生成所述交叉项的条件约束语句对应的交叉项集合；步骤S3、将交叉项的条件约束语句转换为约束求解器能够识别的约束求解问题；步骤S4、将每一Cm和所述约束求解问题输入约束求解器中求解，若Cm中存在符合所述约束求解问题的数值，则将Cm确定为目标交叉项，否则，将Cm确定为非目标交叉项。本发明提高了功能覆盖组的交叉项的条件约束语句的求解效率。
基于约束求解条件语句方法设备介质

[发明专利]确定目标调用标识的位置信息的方法、电子设备和介质-CN202310892684.X有效
发明人：林航 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-20 - 公布日： 2023-09-22 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及芯片技术领域，尤其涉及一种确定目标调用标识的位置信息的方法、电子设备和介质，包括步骤S1、为每一调用标识创建对应的跳转列表；步骤S2、从芯片代码定义区域获取目标调用标识，若目标调用标识对应的跳转列表不为空，则执行步骤S3，否则，执行步骤S4；步骤S3、将目标调用标识对应的跳转列表中当前排在末位的调用标识的位置信息确定为芯片代码目标调用标识的位置信息；步骤S4、遍历所有目标调用标识对应的位置信息，将调用优先级最高的目标调用标识位置信息确定为芯片代码目标调用标识的位置信息。本发明能够快速准确地确定目标调用标识的位置信息，提高了芯片设计和芯片验证的效率。
确定目标调用标识位置信息方法电子设备介质

1
2
3
下一页»
尾页
共 32 条