公开(公告)号：CN117113897B

公开(公告)日：2024-01-30

申请号：CN202311355083.1

申请日：2023-10-19

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G06F30/333 ,  G06F30/33 ,  G06F18/22

摘要： 本申请属于集成电路技术领域，并且提出了基于标准单元的信息关联方法、装置、设备及存储介质，所述信息关联方法包括：获取待处理的库文件，其中，所述库文件中包含用于构成集成电路的至少一个单元的单元信息，其中，所述单元信息包括单元的功能特征；基于库文件中的每个单元的单元信息，将每个单元的功能特征与已生成的标准单元的功能特征进行匹配，确定每个单元的单元类别，其中，每个单元类别对应有一个标准单元；将每个单元的单元信息关联到相应单元类别的存储空间中。本申请可以解决难以定位到所需功能的单元的问题，能够从单元的功能的维度建立单元类别，使得在后续需要对单元处理时，能够快速定位到所需功能的单元。

公开(公告)号：CN117574821B

公开(公告)日：2024-09-24

申请号：CN202311362365.4

申请日：2023-10-19

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G06F30/333 ,  G06F111/20

摘要： 本申请属于集成电路技术领域，并且提出了基于代表单元的信息关联方法、装置、设备及存储介质，所述信息关联方法包括：获取待处理的库文件；基于库文件中的每个单元的单元信息，确定每个单元的单元类别：将当前单元的单元类别确定为目标单元类别，并更新代表单元；将当前单元的单元类别确定为新增的单元类别，将当前单元作为新增的单元类别的代表单元；将每个单元的单元信息关联到相应单元类别的存储空间中。本申请可解决难以定位到所需功能的单元且对同一单元类别下的单元不加以区分的问题，能够从功能的维度建立单元类别，并可将代表单元作为代表，为单元选取提供指导。

公开(公告)号：CN118033392B

公开(公告)日：2024-06-28

申请号：CN202410445926.5

申请日：2024-04-15

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G01R31/317

摘要： 本申请涉及电子电路领域，尤其涉及一种电路检测方法及装置、电子设备、存储介质、程序产品。电路检测方法包括：基于待检测电路对应的设计文件，确定待检测电路中与待检测环路的类型对应的目标逻辑单元；将待检测电路中非目标逻辑单元的输出和待检测电路的主输入设置为检测起点；创建工作集合，将检测起点添加为工作集合中的第一对象，其中，工作集合中的所有第一对象能够按任意顺序或随机取出；通过并行运行的至少一个线程从工作集合中取出第一对象，并根据第一对象在待检测电路的信号传播方向上连接到的第二对象，进行待检测环路的检测。本申请提高了检测效率且可以对除组合逻辑环路以外的反馈环路进行有效检测。

公开(公告)号：CN117250480A

公开(公告)日：2023-12-19

申请号：CN202311478835.3

申请日：2023-11-08

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G01R31/28 ,  G01R31/3177

摘要： 本申请涉及集成电路设计技术领域，提出组合逻辑电路的环路检测方法、装置、设备及存储介质，所述环路检测方法包括：记录待检测电路中的所有组合逻辑门；以所述组合逻辑门中的任一个未被查找的组合逻辑门为起点，按照信号向前传播的顺序，针对信号经过的每个组合逻辑门的每个输出路径，向前查找下一个电路元件，将重复查找到的组合逻辑门确定为候选组合逻辑门，直至所记录的所有组合逻辑门均被查找到；遍历所有候选组合逻辑门，对所述待检测电路进行组合逻辑环路检测。本申请可以解决组合逻辑环的检测耗时长、检测效率低的问题，可以避免多次模拟信号传播过程所带来的计算量和耗时，能够简化检测过程。

公开(公告)号：CN118966108A

公开(公告)日：2024-11-15

申请号：CN202411420941.0

申请日：2024-10-12

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G06F30/3315 ,  G06F30/33

摘要： 本申请提供一种电路可控制性的分析方法、装置、电子设备、存储介质及程序产品，涉及集成电路技术领域。电路可控制性的分析方法包括：确定目标集成电路的可控制性的分析起点；创建工作集合，并将所述分析起点作为驱动对象添加到所述工作集合中；从所述工作集合中取出一个驱动对象作为目标驱动对象，并确定所述目标驱动对象的可控性结果；针对与所述目标驱动对象连接的每一目标接收对象执行预设处理，其中，在针对所有目标接收对象执行完所述预设处理之后，返回执行所述从所述工作集合中取出一个驱动对象作为目标驱动对象，并确定所述目标驱动对象的可控性结果。根据本申请，能够高效准确地对电路可控制性进行静态分析。

公开(公告)号：CN118332988A

公开(公告)日：2024-07-12

申请号：CN202410756673.3

申请日：2024-06-13

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G06F30/3312

摘要： 本申请提供一种时钟路径分析方法、装置、电子设备、存储介质及计算机程序产品，涉及集成电路技术领域。所述方法包括：根据目标集成电路的时钟信息，确定目标集成电路的各个实际时钟源及其提供的至少一个时钟信号；创建索引表，索引表初始包括与各个实际时钟源一一对应的数据记录及每条数据记录的索引值，每个实际时钟源对应的数据记录内部包括：该实际时钟源的标识及其提供的至少一个时钟信号的标识和时钟极性；根据索引表对目标集成电路进行时钟路径分析，得到分析结果，分析结果包括：目标集成电路中用于传输时钟信号的各条线网所对应的数据记录的索引值和信号翻转信息。根据本申请，能够在进行时钟路径分析时避免重复分析、减少数据存储量。

公开(公告)号：CN117250480B

公开(公告)日：2024-02-23

申请号：CN202311478835.3

申请日：2023-11-08

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G01R31/28 ,  G01R31/3177

摘要： 本申请涉及集成电路设计技术领域，提出组合逻辑电路的环路检测方法、装置、设备及存储介质，所述环路检测方法包括：记录待检测电路中的所有组合逻辑门；以所述组合逻辑门中的任一个未被查找的组合逻辑门为起点，按照信号向前传播的顺序，针对信号经过的每个组合逻辑门的每个输出路径，向前查找下一个电路元件，将重复查找到的组合逻辑门确定为候选组合逻辑门，直至所记录的所有组合逻辑门均被查找到；遍历所有候选组合逻辑门，对所述待检测电路进行组合逻辑环路检测。本申请可以解决组合逻辑环的检测耗时长、检测效率低的问题，可以避免多次模拟信号传播过程所带来的计算量和耗时，(56)对比文件US 2004117697 A1,2004.06.17US 2006075367 A1,2006.04.06US 5095454 A,1992.03.10CN 102067087 A,2011.05.18CN 106411316 A,2017.02.15倪韬雍;金乃咏.基于有向图深度优先遍历的组合反馈环路检测算法.计算机应用与软件.2008,(第06期),全文.

公开(公告)号：CN118332988B

公开(公告)日：2024-09-03

申请号：CN202410756673.3

申请日：2024-06-13

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G06F30/3312

摘要： 本申请提供一种时钟路径分析方法、装置、电子设备、存储介质及计算机程序产品，涉及集成电路技术领域。所述方法包括：根据目标集成电路的时钟信息，确定目标集成电路的各个实际时钟源及其提供的至少一个时钟信号；创建索引表，索引表初始包括与各个实际时钟源一一对应的数据记录及每条数据记录的索引值，每个实际时钟源对应的数据记录内部包括：该实际时钟源的标识及其提供的至少一个时钟信号的标识和时钟极性；根据索引表对目标集成电路进行时钟路径分析，得到分析结果，分析结果包括：目标集成电路中用于传输时钟信号的各条线网所对应的数据记录的索引值和信号翻转信息。根据本申请，能够在进行时钟路径分析时避免重复分析、减少数据存储量。

公开(公告)号：CN118150991B

公开(公告)日：2024-07-23

申请号：CN202410584990.1

申请日：2024-05-13

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G01R31/28 ,  G06F30/36

摘要： 本申请提供一种脉冲发生逻辑的检测方法、装置、电子设备、存储介质及计算机程序产品，涉及集成电路技术领域。检测方法包括：读取目标集成电路的设计文件；根据目标集成电路，生成至少一组检测结果；基于所述至少一组检测结果，确定目标集成电路中符合脉冲发生逻辑的2输入组合逻辑门电路；其中，选取目标集成电路中的一个未被检测过的2输入组合逻辑门电路作为目标电路；确定在目标集成电路中起点引脚是否通过线网连接至少一个目标引脚；如果起点引脚通过线网连接至少一个目标引脚，则基于起点引脚和至少一个目标引脚生成一组检测结果，并将该组检测结果所涉及的2输入组合逻辑门电路标记为已检测。根据本申请，能够节省计算资源、缩短检测时间。

公开(公告)号：CN117907812B

公开(公告)日：2024-06-25

申请号：CN202410318993.0

申请日：2024-03-20

申请人： 英诺达(成都)电子科技有限公司

发明人： 徐浩丰

IPC分类号： G01R31/317 ,  G01R31/3177

摘要： 本申请涉及电子电路领域，尤其涉及一种电路检测方法及装置、电子设备、存储介质、程序产品。该方法包括：获取与待检测电路对应的设计文件；以设计文件中的模块为单位进行环路检测，其中，响应于在环路检测过程中检测到预定模块，在检测结果指示预定模块的输入到输出仅包含组合逻辑门的情况下，从预定模块的输入直接跳转到预定模块的输出，并从预定模块的输出继续向前传播信号；在检测结果指示预定模块的输入到输出包含非组合逻辑门的情况下，将预定模块的输出作为新的起始点，并从新的起始点重新开始向前传播信号，预定模块是指已经完成环路检测的模块。本申请大大减少了检查次数和检查时间，进而可以高效的完成待检测电路的环路检测。