-
公开(公告)号：CN116306478A
公开(公告)日：2023-06-23
申请号：CN202310254694.0
申请日：2023-03-16
Applicant: 南京邮电大学
IPC: G06F30/398 , G06F30/3323
Abstract: 本发明公开了一种基于CDCL算法和计算机代数的逻辑等价性验证方法，包括步骤如下：S1,读入反向图文件，以内部编码的形式存储在软件中，运用计算机代数，将原电路中的加法器进行替换；S2，将待验证的两个电路的每一级输出通过异或门相连，连接为一个电路，以布尔可满足性问题文件输出；S3，读入布尔可满足性问题文件输出，运用CDCL算法对布尔可满足性问题文件进行求解。本发明的求解器求解前替换了部分加法器，使得电路复杂度降低，求解乘法器电路的等价性问题所需时间更短，内存开销更小。
-
公开(公告)号：CN114611455A
公开(公告)日：2022-06-10
申请号：CN202210265663.0
申请日：2022-03-17
Applicant: 南京邮电大学
IPC: G06F30/398 , G06F30/394 , G06F30/392 , G06T17/20
Abstract: 本发明公开一种基于改进有限差分法的二维电容提取方法，以解决现有技术在求解精度和运行时间两个方面折中的问题，属于计算、推算或计数的技术领域。首先，输入求解区域和导体的几何信息，利用最短步长、倍增因子、导体周围均匀划分的宽度对求解区域进行非均匀网格划分；然后，将格点相对坐标哈希映射为待求电势向量，对未知电势进行基于差值法的拟合，将拉普拉斯方程转换为矩阵方程Ax=b后，求解得到每个格点处电势；最后，根据高斯定理对导体周围格点的电势进行积分获取电荷Q，输出主导体的单位长度总电容、主导体和相邻导体之间的单位长度耦和电容。通过对网格进行非均匀划分构建FDM的不对称系数矩阵，提高求解精度并减少运行时间。
-
Patent Agency Ranking
公开(公告)号：CN114357942A
公开(公告)日：2022-04-15
申请号：CN202210263251.3
申请日：2022-03-17
Applicant: 南京邮电大学
IPC: G06F30/398
Abstract: 本发明公开基于间断有限元法的集成电路互连线寄生电容提取方法，属于计算、推算或计数的技术领域。该方法根据导体分布情况划分非均匀的矩形网格；判断矩形网格是否为边界单元格，依次标录全局编号和需求解编号；初始化所有矩形网格的自由度值；遍历所有矩形网格，根据邻近单元网格的边界情况，得到基于间断有限元法的线性方程组，计算所有矩形网格电势函数自由度；根据每个矩形网格的电势函数自由度求出每个单元的电场强函数自由度；划分出每个导体的高斯面，在高斯面上积分求得的电场强函数得到电荷，最终求出主导体电容以及耦合电容大小。本发明提高集成电路互连线寄生电容提取精度，并且降低运行时间及运行内存。
-
公开(公告)号：CN114357942B
公开(公告)日：2022-06-10
申请号：CN202210263251.3
申请日：2022-03-17
Applicant: 南京邮电大学
IPC: G06F30/398
Abstract: 本发明公开基于间断有限元法的集成电路互连线寄生电容提取方法，属于计算、推算或计数的技术领域。该方法根据导体分布情况划分非均匀的矩形网格；判断矩形网格是否为边界单元格，依次标录全局编号和需求解编号；初始化所有矩形网格的自由度值；遍历所有矩形网格，根据邻近单元网格的边界情况，得到基于间断有限元法的线性方程组，计算所有矩形网格电势函数自由度；根据每个矩形网格的电势函数自由度求出每个单元的电场强函数自由度；划分出每个导体的高斯面，在高斯面上积分求得的电场强函数得到电荷，最终求出主导体电容以及耦合电容大小。本发明提高集成电路互连线寄生电容提取精度，并且降低运行时间及运行内存。
-
公开(公告)号：CN113128147B
公开(公告)日：2022-02-11
申请号：CN202110440277.6
申请日：2021-04-23
Applicant: 南京邮电大学
IPC: G06F30/333 , G06F30/337 , G06F30/27 , G06F111/06 , G06F119/06
Abstract: 本发明公开了一种基于机器学习的高效率集成电路可测性设计方法，包括，对不同参数进行配置，利用工具插入扫描链、自动测试向量生成及功耗分析，收集运行结果；将所述收集结果读入基于机器学习的预测模型中设置参数，得到预测值；合并所有的所述预测值和所述收集运行结果存储为csv文件，启动预测最优配置模型，得到设计需求的最优配置。本发明方法达到保证高测试覆盖率的同时运行时间少、低功耗、低面积开销的目的。
-
公开(公告)号：CN114611455B
公开(公告)日：2022-11-18
申请号：CN202210265663.0
申请日：2022-03-17
Applicant: 南京邮电大学
IPC: G06F30/398 , G06F30/394 , G06F30/392 , G06T17/20
Abstract: 本发明公开一种基于改进有限差分法的二维电容提取方法，以解决现有技术在求解精度和运行时间两个方面折中的问题，属于计算、推算或计数的技术领域。首先，输入求解区域和导体的几何信息，利用最短步长、倍增因子、导体周围均匀划分的宽度对求解区域进行非均匀网格划分；然后，将格点相对坐标哈希映射为待求电势向量，对未知电势进行基于差值法的拟合，将拉普拉斯方程转换为矩阵方程Ax=b后，求解得到每个格点处电势；最后，根据高斯定理对导体周围格点的电势进行积分获取电荷Q，输出主导体的单位长度总电容、主导体和相邻导体之间的单位长度耦和电容。通过对网格进行非均匀划分构建FDM的不对称系数矩阵，提高求解精度并减少运行时间。
-
公开(公告)号：CN113128147A
公开(公告)日：2021-07-16
申请号：CN202110440277.6
申请日：2021-04-23
Applicant: 南京邮电大学
IPC: G06F30/333 , G06F30/337 , G06F30/27 , G06F111/06 , G06F119/06
Abstract: 本发明公开了一种基于机器学习的高效率集成电路可测性设计方法，包括，对不同参数进行配置，利用工具插入扫描链、自动测试向量生成及功耗分析，收集运行结果；将所述收集结果读入基于机器学习的预测模型中设置参数，得到预测值；合并所有的所述预测值和所述收集运行结果存储为csv文件，启动预测最优配置模型，得到设计需求的最优配置。本发明方法达到保证高测试覆盖率的同时运行时间少、低功耗、低面积开销的目的。
-
-
-
-
-
-
Search Results
7
records
(took 0.018 seconds)
