公开(公告)号：CN117933186A

公开(公告)日：2024-04-26

申请号：CN202410010883.8

申请日：2024-01-04

Applicant: 东南大学 ,  南京集成电路设计自动化技术创新中心

Inventor： 周亦非 ,  王超

IPC: G06F30/398 ,  G06F30/392

Abstract: 本发明公开了一种面向设计规则检查的候选边快速构建方法,在版图融合图形布尔运算阶段，将距离类型的设计规则检查任务拆分为边对距离检查和边对属性判别两个子任务，通过保证边的有向性及记录边所属的版图图层，判断两条边的属性，从而确定边对的检查符合规则要求。本发明提出了候选边快速构建算法以解决版图融合阶段图形布尔运算耗时长、内存开销大、难以并行化这一问题，在加速构建规则检查所需的版图布尔运算结果边集合的同时，显著降低运行期间的内存开销，该方法输出结果为后续流程所需的有序有向边，稳定性好，受版图图形数据分布影响小，可并行化。

公开(公告)号：CN113377534A

公开(公告)日：2021-09-10

申请号：CN202110636177.0

申请日：2021-06-08

Applicant: 东南大学

Inventor： 王超 ,  张加浩 ,  左岳 ,  王寅初 ,  周亦非

IPC: G06F9/50 ,  G06F9/52

Abstract: 本发明公开了一种基于CSR格式的高性能稀疏矩阵向量乘法计算方法，该方法首先根据现有的方法进行空间局部性优化，循环效率优化与访存效率优化；根据现有硬件资源的配置与仿真情况，自适应的开辟合理数目的线程，优化加锁解锁方式使线程池更高效；针对cache missing问题与硬件条件完成适应性的亲和性设置。本发明基于传统的CSR格式的稀疏矩阵向量乘法，充分考虑硬件资源对计算性能的限制，以及算法对计算效率与访存效率的影响；在改进原有算法基础上，模型可以资源配置与任务数目，自适应的通过基于矩阵索引的线程池与亲和性设置完成仿真加速。