一种AIG冗余逻辑优化方法及装置

    公开(公告)号:CN118607426B

    公开(公告)日:2024-11-08

    申请号:CN202411076126.7

    申请日:2024-08-07

    摘要: 本发明涉及逻辑优化技术领域,具体涉及一种AIG冗余逻辑优化方法及装置,该方法包括:首先获取输入的目标AIG图,对该目标AIG图中的AIG子图进行替换优化处理,并获取初步优化AIG图;之后计算该初步优化AIG图中每个节点对应的模拟真值表,并基于该模拟真值表清除该初步优化AIG图中的冗余节点;在冗余节点清除完成后,对该初步优化AIG图中的每条边进行异或器随机仿真处理,基于异或器随机仿真处理结果删除该初步优化AIG图中的冗余边,最后输出逻辑优化后的最终AIG图。本发明在冗余逻辑优化上从节点与边两个维度出发,以冗余逻辑的角度进一步提升了目标AIG图的优化空间与优化效果,提升优化效果。

    集成电路性能预测模型及建模方法、装置、设备、介质

    公开(公告)号:CN118520841B

    公开(公告)日:2024-10-15

    申请号:CN202410987931.9

    申请日:2024-07-23

    发明人: 潘仲豪

    摘要: 本申请提供一种集成电路性能预测模型及建模方法、装置、设备、介质,应用于集成电路、人工智能技术领域,其中建模过程包括:先从集成电路对应的所有工艺偏差随机变量中,按第一采样数量进行随机采样,得到样本矩阵;以及根据样本矩阵进行电路仿真,得到对应的电路性能向量,并将样本矩阵和电路性能向量构成数据集;最后,基于数据集训练预设的电路性能预测模型,并在训练中对电路性能预测模型进行性能评估,若通过评估则结束训练,若未通过评估则按第二采样数量新增采样以更新数据集。通过动态采样和迭代训练,既能够保证用于训练集成电路性能预测模型的样本数量足够,又能够在动态调整中及时停止迭代,很好地兼顾了模型预测精准度和计算开销。

    芯片修调的方法、装置、存储介质和电子设备

    公开(公告)号:CN112115677B

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

    申请号:CN201910545026.7

    申请日:2019-06-21

    发明人: 周博 李奇峰

    IPC分类号: G06F30/398 G06F115/06

    摘要: 本公开涉及一种芯片修调的方法、装置、存储介质和电子设备,涉及集成电路的测试领域,该方法包括:获取待测芯片的区域信息,区域信息能够指示待测芯片在晶片上的中央区域或边缘区域,根据区域信息和目标参数对应的标准值,确定目标参数对应的修正初始值,按照修正初始值对待测芯片进行测试,以获取待测芯片的目标参数对应的测量值,根据测量值和标准值,对待测芯片进行修调,以使待测芯片的目标参数达到标准值。本公开能够根据芯片在晶片上的不同区域,选择不同的策略对芯片进行修调,提高了芯片修调的效率和准确度。

    标准单元的逻辑验证方法、装置、设备及计算机存储介质

    公开(公告)号:CN118036521A

    公开(公告)日:2024-05-14

    申请号:CN202211382963.3

    申请日:2022-11-04

    IPC分类号: G06F30/3308 G06F115/06

    摘要: 一种标准单元的逻辑验证方法、装置、设备及计算机存储介质。所述方法包括:从标准单元库中提取同一待验证标准单元的第一网表文件及第二网表文件,所述第一网表文件及第二网表文件为采用不同语言描述的网表文件;分别基于所述第一网表文件及第二网表文件,搭建对应的电路仿真模型;利用所搭建的电路仿真模型,对所述待验证标准单元进行仿真;获取各电路仿真模型的仿真结果,并进行比对;输出比对结果。采用上述方案,可以高效快速地验证标准单元逻辑信息的准确性。

    芯片的电源完整性签核方法、装置、电子设备及存储介质

    公开(公告)号:CN117952053A

    公开(公告)日:2024-04-30

    申请号:CN202410170575.1

    申请日:2024-02-06

    发明人: 王星 柳雷

    IPC分类号: G06F30/367 G06F115/06

    摘要: 本申请公开了一种芯片的电源完整性签核方法、装置、电子设备及存储介质。该方法包括:获取芯片的空闲电流参数和满载电流参数;根据空闲电流参数和满载电流参数、芯片的电阻参数和电感参数,获取总电压压降;获取电源实际输出电压;根据总电压压降以及电源实际输出电压与预设芯片最小额定电压的差值,判断芯片是否满足电源完整性预设条件;若满足则签核完成;若不满足则调整电阻参数和电感参数,返回根据空闲电流参数和满载电流参数、芯片的电阻参数和电感参数,获取总电压压降,循环执行,直至签核完成为止。该方法大幅降低了封装基板和电路板系统的电阻和电感所带来的影响,使芯片端电压可以保持在正常工作的额定电压之内,提高了签核的准确性。

    仿真方法、电子设备、计算机可读介质

    公开(公告)号:CN117852456A

    公开(公告)日:2024-04-09

    申请号:CN202211208476.5

    申请日:2022-09-30

    IPC分类号: G06F30/3308 G06F115/06

    摘要: 本公开提供一种仿真方法,包括:对多个仿真模块的代码进行分析,生成多个数据流节点树,其中,每个所述仿真模块对应至少一个所述数据流节点树;根据多个所述数据流节点树确定多个所述仿真模块的计算权重;根据多个所述仿真模块的计算权重将多个所述仿真模块整合为多个仿真线程,其中,多个所述仿真线程与多个仿真单元一对一对应。本公开还提供一种电子设备、一种计算机可读介质。

    信号线检查方法及设备
    9.
    发明公开

    公开(公告)号:CN117172195A

    公开(公告)日:2023-12-05

    申请号:CN202210577511.4

    申请日:2022-05-25

    摘要: 本公开实施例提供了一种信号线检查方法及设备,涉及半导体技术领域,包括:获取电路原理图中目标信号线的自定义设计信息,并根据该自定义设计信息生成目标信号线对应的版图设计规则;检查电路原理图对应的电路版图中,目标信号线是否满足上述版图设计规则;当电路版图中的目标信号线不满足上述版图设计规则时,在电路版图中目标信号线所在的位置添加第一标签,用于指示目标信号线未满足上述版图设计规则。本公开实施例提供的信号线检查方法及设备,可以有效降低电路版图中关键信号线的检查复杂度,提升电路版图的设计效率。

    多核处理器验证系统
    10.
    发明公开

    公开(公告)号:CN116933723A

    公开(公告)日:2023-10-24

    申请号:CN202210326748.5

    申请日:2022-03-30

    发明人: 窦枭栋 陈天奇

    IPC分类号: G06F30/398 G06F115/06

    摘要: 本申请实施例提供了一种多核处理器验证系统,涉及电子设备技术领域。一种多核处理器验证系统包括:母板以及与所述母板连接的子板,所述子板用于向所述母板传输验证指令;所述母板包括互连的多个现场可编程逻辑门阵列FPGA芯片,各所述FPGA芯片的基本单元查找表LUT使用率均小于第一阈值,各所述FPGA芯片之间的连线数目均小于第二阈值,所述母板用于实现多核处理器的逻辑,运行所述验证指令得到所述多核处理器的验证结果。