-
公开(公告)号：CN118170415B
公开(公告)日：2024-07-12
申请号：CN202410599996.6
申请日：2024-05-15
申请人： 成都融见软件科技有限公司 , 上海合见工业软件集团有限公司
IPC分类号： G06F8/65
摘要： 本发明涉及计算机技术领域，尤其涉及一种源代码层次结构的获取方法、电子设备和介质，方法包括S1、获取当前事件循环队列中首个任务，若为可视范围层次结构获取任务，则执行S2，若为全局层次结构获取任务，执行S3；S2、执行待处理可视范围的层次结构获取任务，更新已生成的可视范围的层次结构，将事件循环队列中首个任务删除，返回S1；S3、执行全局层次结构获取任务，更新AL，更新已生成的全局层级结构，将事件循环队列中首个任务删除，执行S4；S4、若更新后的AL
-
公开(公告)号：CN118052178B
公开(公告)日：2024-06-28
申请号：CN202410452416.0
申请日：2024-04-16
申请人： 上海合见工业软件集团有限公司
IPC分类号： G06F30/33 , G06F30/337
摘要： 本发明涉及计算机技术领域，尤其涉及一种信号绕线方法、电子设备和介质，本发明先获取FPGA系统中按照所包含关键路径数量从大到小的顺序排序包含关键路径的FPGA通道，然后将包含关键路径的FPGA通道中的关键路径进行重绕，在基于关键路径重绕后的系统性能不优于重绕前的系统性能的前提下，再从包含关键路径的FPGA通道中选取非关键路径进行重绕，为包含关键路径的FPGA通道中的关键路径释放空间，并在确认优于重绕前的绕线信息对应的系统性能时再接收重绕后的绕线信息，从而通过FPGA系统中的局部信号绕线优化，提高了用户设计的系统性能。
-
公开(公告)号：CN118246378A
公开(公告)日：2024-06-25
申请号：CN202410320068.1
申请日：2024-03-20
申请人： 上海合见工业软件集团有限公司 , 成都融见软件科技有限公司
IPC分类号： G06F30/3315 , G06F30/327
摘要： 本发明涉及芯片验证技术领域，特别是涉及一种FSM中状态变量的提取方法、电子设备及存储介质，其通过遍历每一个设计模块中所有的always过程块，获取当前always过程块的输出变量和下一个always过程块的输入变量之间的共同变量，将共同变量绑定不同支路类型中的时序逻辑过程块存入各支路类型映射表中，遍历所有支路，当不同支路类型之间有相同的时序逻辑过程块时，获取每个支路类型绑定的共同变量之间的交集，将交集提取为状态变量。该方法在提取时不需要建立有向图，能够大幅度提高提取状态变量的效率。
-
公开(公告)号：CN118245435A
公开(公告)日：2024-06-25
申请号：CN202410452425.X
申请日：2024-04-16
申请人： 上海合见工业软件集团有限公司
摘要： 本发明涉及计算机技术领域，尤其涉及一种基于关键路径的信号绕线调整方法、电子设备和介质，包括步骤S1、获取FPGA系统中包含关键路径的FPGA通道Am；步骤S2、设置m＝1,执行步骤S3；步骤S3、获取Am中的关键路径对应的待处理信号Skm；步骤S4、为每一Skm选择一个重绕路径；步骤S5、将当前FPGA系统中存在重绕路径的Skm的绕线路径清除，并按照每一Skm对应的重绕路径为每一Skm重新绕线，生成重绕后的绕线信息；步骤S6、判断重绕后的绕线信息对应的系统性能是否优于重绕前的绕线信息对应的系统性能，若是，则接受本次重绕后的绕线信息。本发明提高了用户设计的系统性能。
-
公开(公告)号：CN118211567A
公开(公告)日：2024-06-18
申请号：CN202410320064.3
申请日：2024-03-20
申请人： 上海合见工业软件集团有限公司 , 成都融见软件科技有限公司
IPC分类号： G06F40/151 , G06F30/3308
摘要： 本发明涉及芯片技术领域，尤其涉及一种基于动态增删文本行的文件行定位方法、电子设备和介质，方法包括：步骤S1、初始化设置一个链表，链表初始设置为空；步骤S2、在可视内容中加载原文件内容，然后在可视内容加载的原文件内容中动态插入内容；步骤S3、根据在可视内容加载的原文件内容中动态插入的内容在链表中动态生成链表元素；步骤S4、基于{L1,L2,…,Ln,…,LN}执行文件可见内容行和原文件内容行之间的转换。本发明能够实现文件可见内容行和原文件内容行之间的高效转换。
-
公开(公告)号：CN118211541A
公开(公告)日：2024-06-18
申请号：CN202410320066.2
申请日：2024-03-20
申请人： 上海合见工业软件集团有限公司 , 成都融见软件科技有限公司
IPC分类号： G06F30/3315 , G06F30/327
摘要： 本发明涉及芯片验证技术领域，特别是涉及一种提取FSM状态变量的方法、电子设备及存储介质。其通过遍历设计模块中的每一个过程块，分别提取过程块的输入变量集和输出变量集；当过程块为时序逻辑过程块时，获取输入变量集和输出变量集的交集，得到候选状态变量集；遍历候选状态变量集中的每个候选状态变量，当第k个候选状态变量为条件变量时，将第k个候选状态变量提取为状态变量。相较于现有技术，节省了构建有向图以及遍历有向图的步骤，提高了提取自循环FSM设计模块的状态变量的效率。
-
公开(公告)号：CN117931755B
公开(公告)日：2024-06-18
申请号：CN202410330202.6
申请日：2024-03-22
申请人： 上海合见工业软件集团有限公司
IPC分类号： G06F16/16 , G06F16/14 , G06F30/31 , G06F30/337 , G06F111/20 , G06F115/12
摘要： 本发明属于电子设计自动化领域，提供一种批量导入封装库的方法及对应装置、设备和存储介质。该方法通过初始化导入源目录，灵活选择递归或非递归模式导入封装库：在非递归模式下，直接加载当前文件夹内的封装文件；而在递归模式时，则遍历并获取子文件夹及其中所有封装文件。针对不同加载需求，仅加载库文件时递归地展示封装文件并隐藏子文件夹，若需加载全部文件则显示所有封装文件及子文件夹内容。最后，在获取选定目录和封装文件后进行解析操作，并将导入结果存入目标目录中，以解决冗余数据加载与效率低的问题。
-
公开(公告)号：CN118170393A
公开(公告)日：2024-06-11
申请号：CN202410449956.3
申请日：2024-04-15
申请人： 上海合见工业软件集团有限公司 , 成都融见软件科技有限公司
IPC分类号： G06F8/41
摘要： 本发明涉及计算机技术领域，尤其涉及一种四态值case语法跳表实现方法、电子设备和介质，方法包括：步骤S1、遍历待处理case语句，获取集合V1、集合V3、max以及min；步骤S2、生成四态值case跳表；步骤S3、生成待处理输入值VA，若VA中在非V3中对应的下标位置出现x或z，则执行步骤S7，否则，执行步骤S4；步骤S4、获取VA在四态值case跳表中对应的偏移值OF；步骤S5、若0≤OF≤X‑1，则执行步骤S6,否则，执行步骤S7；步骤S6、跳转至四态值case跳表的OF偏移位置的对应的跳表项执行；步骤S7、跳转至GX执行。本发明减少了四态值case语法实现的时间，提高了系统执行速度。
-
公开(公告)号：CN118133738A
公开(公告)日：2024-06-04
申请号：CN202410557776.7
申请日：2024-05-08
申请人： 上海合见工业软件集团有限公司
摘要： 本发明涉及电子设计自动化领域，提供一种基于电路板设计的线路合并方法、装置、设备和介质，该方法包括：S1，获取线路组的原始数据，判断当前线路组中是否存在重复路径；S2，当存在所述重复路径时，将所述重复路径上的各节点标记为分割点；S3，根据所述原始数据确定重复路径的线路类型为直线段或弧线段；S4，将所述直线段上的所有分割点按距离直线段起始点的长度排序，生成直线段分割顺序数据；或将所述弧线段上的所有分割点按由弧线段起始点的极角大小排序，生成弧线段分割顺序数据；S5，基于所述直线段分割顺序数据或弧线段分割顺序数据对所述线路组进行合并处理，生成非重复路径。该方法用于提高线路合并工作的效率。
-
公开(公告)号：CN118132437A
公开(公告)日：2024-06-04
申请号：CN202410344545.8
申请日：2024-03-25
申请人： 上海合见工业软件集团有限公司
IPC分类号： G06F11/36
摘要： 本发明提供了一种单元测试动态插桩方法、装置、设备及介质，包括：获取待测函数；确定待测函数的外部依赖函数，Mock外部依赖函数；判断待测函数是否为虚函数，如果是，则获取虚表，解析虚表获取待测函数的地址，如果否，直接获取待测函数的地址；获取外部依赖函数的地址，判断外部依赖函数的地址与待测函数的地址之间的差值是否满足跳转指令所能支持的偏移范围，如果满足，则进行跳转；插入需要进行替换的Mock函数。本发明的有益效果在于：通过动态插桩的方式将第三方依赖数据进行解耦，将待测函数和外部依赖函数的依赖解耦，简化了编写单元测试用例的复杂度，提高了编写效率，降低了后期测试用例的维护成本。
-
-
-
-
-
-
-
-
-
搜索结果
456 条记录 (耗时 0.442 秒)