“上海合见工业软件集团有限公司”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果139个，建议您升级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的候选实例确定为目标搜索实例。本发明降低了时间和内存开销，提高搜索效率。
基于设计层级数据搜索系统

[发明专利]硬件存储器端口复用方法-CN202210410270.4在审
发明人：李菲 -专利权人： 上海合见工业软件集团有限公司
申请日： 2022-04-19 - 公布日： 2023-10-27 - 主分类号： G06F30/327 文献下载
摘要：本发明涉及一种硬件存储器端口复用方法，包括步骤S1、获取用户RTL设计参数，包括多维数组和原始设计参数；步骤S2、基于多维数组和原始设计参数获取用户端口并行读写操作信息；步骤S3、通过同步器将每一用户端口的读写操作信息的时钟域转换为TDM通道的时钟域，生成每一用户端口对应的待传输用户端口的读写操作信息；步骤S4、将并行的所有用户端口对应的待传输用户端口的读写操作信息和对应的原始设计参数转换为串行读写操作信息；步骤S5、通过TDM通道将串行读写操作信息传输给对应的硬件端口；步骤S6、硬件端口读写数据。本发明所述方法能够适配不同的用户RTL设计场景实现自动对多维数组的并行读写操作。
硬件存储器端口方法

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

[发明专利]基于时序型覆盖数据库的回归测试系统-CN202211180114.X有效
发明人：叶擎双 -专利权人： 上海合见工业软件集团有限公司
申请日： 2022-09-26 - 公布日： 2023-10-27 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于时序型覆盖数据库的回归测试系统，实现步骤G1、将第m测试用例输入待测数字电路运行；步骤G2、当监测到待测数字电路发生覆盖事件时，获取当前覆盖事件信息；步骤G3、解析当前覆盖事件信息，获取当前覆盖点标识，若当前覆盖点标识属于第一覆盖点集合，则获取对应的当前覆盖时间，执行步骤G4；步骤G4、将当前覆盖时间对应的覆盖时间索引填写至第m时序型覆盖数据库中当前覆盖点标识所对应的覆盖信息记录的覆盖时间字段；步骤G5、第m测试用例运行完毕后，生成第m时序型覆盖数据库；步骤G6、基于所述第m时序型覆盖数据库确定第m测试用例的有效回归时间。本发明提高了回归测试的效率，降低了回归测试的成本。
基于时序覆盖数据库回归测试系统

[发明专利]基于使用行的宏定义文本展开方法、电子设备和介质-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 文献下载
摘要：本发明涉及芯片验证领域，特别是涉及一种约束求解器输入信号的预处理方法、电子设备及存储介质。其通过本发明提供的方法对约束求解器的输入数据进行预处理，通过约束变量的当前域和约束表达式的值域做交集来缩小约束变量的近似值域，然后通过获取约束变量的关联表达式，将关联表达式中的子表达式替换为确定的目标结果，根据确定的目标结果优化关联表达式得到目标表达式，目标表达式即为预处理之后的表达式，将目标表达式输入约束求解器进行求解，能够大幅度的降低约束问题的复杂度，减少硬件计算资源开销和计算时间的开销，提高求解效率。
约束求解输入信号预处理方法电子设备存储介质

[发明专利]一种超节点的提取方法及系统-CN202310954697.5在审
发明人：贝泽华;杨静磊;唐洁群 -专利权人： 上海合见工业软件集团有限公司
申请日： 2023-08-01 - 公布日： 2023-10-20 - 主分类号： G06F30/343 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种超节点的提取方法及系统，根据时序电路的时序图，提取有向图；获取所述有向图中的目标关键路径终点，获取所述有向图中的目标关键路径终点，根据预设的延时阈值提取结束于每个目标关键路径终点的所有目标关键路径，每个目标关键路径终点的所有目标关键路径上的边和节点构成的关键锥形子图；将所有关键锥形子图合并为关键有向图G_crit，对G_crit中的节点进行拓扑排序并依次访问以获取超节点，在进行路径规划时超节点作为一个整体能够减少计算资源，降低计算复杂度。
一种节点提取方法系统

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

[发明专利]一种关键时序路径的优化方法及系统-CN202310954693.7有效
发明人：贝泽华;杨静磊;唐洁群 -专利权人： 上海合见工业软件集团有限公司
申请日： 2023-08-01 - 公布日： 2023-10-20 - 主分类号： G06F30/331 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种关键时序路径的优化方法及系统，该优化方法通过评估关键路径上节点的到达时间，来决定各节点的目标处理器，其中对于节点i，其目标处理器为使得相关时序路径终点到达时间最短的处理器。通过该方法，在优化的过程中直接基于时序图计算每个节点的最短到达时间，从而避免出现仿真结果与实际不一致的情况，并且本发明能够使得所有时序图终点的到达时间达到最优，也即每条关键路径上的到达时间为最短到达时间，能够提高整体电路性能。
一种关键时序路径优化方法系统

[发明专利]EDA软件的数据拼接系统-CN202310954702.2有效
发明人：马俊毅;樊宏斌;陈峰 -专利权人： 上海合见工业软件集团有限公司
申请日： 2023-08-01 - 公布日： 2023-10-20 - 主分类号： G06F8/73 文献下载
摘要：本发明涉及计算机技术领域，尤其涉及一种EDA软件的数据拼接系统，实现步骤S1、基于第一数据库获取所选中的每一元器件对应的预设对象类型所对应的文本信息；步骤S2、基于第二数据库获取所选中的每一元器件对应的预设对象类型所对应的文本信息的权重；步骤S3、基于所选中的每一元器件对应的预设对象类型所对应的文本信息的权重将所有元器件对应的预设对象类型所对应的文本信息均衡划分到N个队列中；步骤S4、并行执行N个队列，将每一队列中所有文本信息进行拼接，得到每一队列的拼接文本信息，将N个队列对应的拼接文本信息进行拼接，生成目标拼接文本信息。本发明实现了快速拼接海量元器件的文本信息，提升了EDA软件的性能。
eda 软件数据拼接系统

[发明专利]内存系统功耗的自适应控制方法、电子设备和介质-CN202310997314.2有效
发明人：李钊辉 -专利权人：南京启见半导体科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-08-09 - 公布日： 2023-10-20 - 主分类号： G06F1/3293 文献下载
摘要：本发明涉及计算机技术领域，尤其涉及一种内存系统功耗的自适应控制方法、电子设备和介质，方法包括步骤S1、实时监测内存系统的运行状态标识；步骤S2、若变为第二标识，记录空闲开始时间，若空闲时间达到预设的第一时间阈值D1，则进入低功耗状态；步骤S3、当监测到运行状态变为第一标识时，记录空闲结束时间，确定空闲记录时间；步骤S4、基于D1设置离散键序列；步骤S5、基于空闲记录时间所对应的区间确定对应的键值，将对应的键值所对应的数量值加1，将空闲记录时间总数加1,当空闲记录时间总数大于预设的数量阈值时，更新D1，返回步骤S1。本发明能够自适应适配内存系统行为的变化，设置准确的调整参数，降低内存系统功耗。
内存系统功耗自适应控制方法电子设备介质

[发明专利]构建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 求解功能覆盖条件约束语句方法设备介质

1
2
3
4
5
6
7
8
9
10
下一页»
尾页
共 139 条