检索结果-维普期刊中文期刊服务平台

小规模非规则TRSM实现与优化: 1; 作者郭容园贾海鹏 +4 位作者张云泉韦存阳邓明森陈婧蕊周振亚《计算机研究与发展》北大核心 2025年第2期517-531,共15页; TRSM(triangular matrix equation solver)是线性方程组求解的常用算法,是各种科学计算库和数学软件的核心算法,广泛应用于科学计算、工程计算、机器学习等领域.小规模非规则TRSM算法限定解决问题范围,是高效处理较小规模、非规则数据... 展开更多; 关键词 TRSM算法 BLAS 小规模非规则 SIMD 汇编优化; 在线阅读下载PDF 职称材料

面向三重版图曝光约束的详细布线算法: 2; 作者梁小宇孙若涵 +1 位作者徐宁张亚东《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2024年第4期575-581,共7页; 在进一步缩小特征尺寸的问题上,三重版图曝光技术(triplepatterninglithography,TPL)发挥着重要的作用.针对TPL中的版图分解问题,提出了一种基于TPL约束的详细布线算法.将版图分解问题转化为满足同色间距约束和最小间距约束的详细布线问... 展开更多; 关键词三重版图曝光版图分解详细布线缝合点; 在线阅读下载PDF 职称材料

多重掩模场景详细布线算法: 3; 作者武洁吴皓莹 +1 位作者徐宁张亚东《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2024年第4期591-597,共7页; 为了在多重掩模自动布线场景中取得缝线数目较少、总线长较小的布线效果,提出一种基于虚拟格点(virtual-vertex,V-V)模型的满足多重掩模约束的详细布线算法.首先在均匀网格下构建可以支持同色及异色间距的V-V模型,V-V的规模由工艺文件... 展开更多; 关键词多重掩模集成电路自动布线 V-V模型; 在线阅读下载PDF 职称材料

利用命题逻辑最大可满足性的冗余通孔最优插入方法: 4; 作者杨成杨骏张亚东《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第7期1132-1138,共7页; 在纳米尺度的集成电路设计中,冗余通孔插入是减轻通孔失效造成良率降低问题的常用技术.文中将最优冗余通孔插入问题规约到命题逻辑最大逻辑可满足性(maximum satisfiability,Max SAT)问题,并利用完备求解器求取最优解.Max SAT问题是一... 展开更多; 关键词冗余通孔插入命题逻辑最大可满足性问题版图后优化可制造性设计; 在线阅读下载PDF 职称材料

题名小规模非规则TRSM实现与优化: 1; 作者郭容园贾海鹏张云泉韦存阳邓明森陈婧蕊周振亚; 机构贵州财经大学信息学院中国科学院计算技术研究所北京华大九天科技股份有限公司; 出处《计算机研究与发展》北大核心 2025年第2期517-531,共15页; 基金国家重点研发计划项目(2023YFB3001701) 山西省科技重大专项(202201010101004) 国家自然科学基金项目(61972376,62372432,62072431)。; 文摘 TRSM(triangular matrix equation solver)是线性方程组求解的常用算法,是各种科学计算库和数学软件的核心算法,广泛应用于科学计算、工程计算、机器学习等领域.小规模非规则TRSM算法限定解决问题范围,是高效处理较小规模、非规则数据输入的算法.随着高性能计算领域个性化、精细化发展,科学界、工业界对小规模非规则TRSM计算的需求愈加明显.传统算法更偏重于大规模、规则TRSM的计算,在小规模非规则TRSM计算上效率不佳.结合硬件体系结构、应用场景特征提出小规模非规则TRSM优化方案,从寄存器分块、边界处理、向量化计算角度设计高性能内核,在此基础上构建覆盖双精度实数、双精度复数的小规模非规则算法库SI_TRSM(small-scale irregular TRSM),大幅度提升该算法性能.实验结果表明,构建的双精度小规模非规则TRSM算法库,较MKL(Intel math kernel library)同类算法,在双精度小规模非规则实数上平均性能提高29.4倍,在双精度小规模非规则复数上平均性能提高24.6倍.; 关键词 TRSM算法 BLAS 小规模非规则 SIMD 汇编优化; Keywords TRSM algorithm BLAS small-scale irregular SIMD assembly optimization; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向三重版图曝光约束的详细布线算法: 2; 作者梁小宇孙若涵徐宁张亚东; 机构武汉理工大学信息工程学院北京华大九天科技股份有限公司; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2024年第4期575-581,共7页; 基金科技创新2030——“新一代人工智能”重大项目(2021ZD0114600)。; 文摘在进一步缩小特征尺寸的问题上,三重版图曝光技术(triplepatterninglithography,TPL)发挥着重要的作用.针对TPL中的版图分解问题,提出了一种基于TPL约束的详细布线算法.将版图分解问题转化为满足同色间距约束和最小间距约束的详细布线问题,使用网格编码的方法来满足2种间距约束;利用与2种间距约束相结合的Hannan网格来提升布线资源的利用率以及布线的速度;结合多源迪杰斯特拉算法进行多端线网的最短路径搜索;最后将布线结果进行版图分解,实现最小化冲突数量和缝合点数量的目标.算法在2.20 GHzCPU和32 GB内存的Ubuntu20.04环境下运行,使用2018年ISPD详细布线比赛的测试集.实验结果表明,与普通详细布线相比,可降低约60%的冲突数量以及70%的缝合点数量.; 关键词三重版图曝光版图分解详细布线缝合点; Keywords triple pattern lithography layout decomposition detail routing stitch; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名多重掩模场景详细布线算法: 3; 作者武洁吴皓莹徐宁张亚东; 机构武汉理工大学信息工程学院北京华大九天科技股份有限公司; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2024年第4期591-597,共7页; 基金科技创新2030——“新一代人工智能”重大项目(2021ZD0114600)。; 文摘为了在多重掩模自动布线场景中取得缝线数目较少、总线长较小的布线效果,提出一种基于虚拟格点(virtual-vertex,V-V)模型的满足多重掩模约束的详细布线算法.首先在均匀网格下构建可以支持同色及异色间距的V-V模型,V-V的规模由工艺文件中定义的布线层的掩模数决定;然后为每个多端线网生成考虑多重掩模约束的最短路径拓扑结构,并将多端线网分解为多个双端线网;最后基于提出的V-V模型结合搜索算法,以最短路径拓扑结构作为指导,对每个双端线网完成自动布线,并通过代价函数严格控制缝线的引入,保证了以最小缝线数完成线网的连接.在详细布线比赛的基准测试集及其衍生测例进行实验的结果表明,与布线完成后再进行掩模分配的技术方案相比,所提算法可以减少约26%的缝线数.; 关键词多重掩模集成电路自动布线 V-V模型; Keywords multiple mask automatic routing of integrated circuits V-V model; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名利用命题逻辑最大可满足性的冗余通孔最优插入方法: 4; 作者杨成杨骏张亚东; 机构中国科学院微电子研究所汽车电子中心中国科学院大学北京华大九天科技股份有限公司; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第7期1132-1138,共7页; 文摘在纳米尺度的集成电路设计中,冗余通孔插入是减轻通孔失效造成良率降低问题的常用技术.文中将最优冗余通孔插入问题规约到命题逻辑最大逻辑可满足性(maximum satisfiability,Max SAT)问题,并利用完备求解器求取最优解.Max SAT问题是一个NP困难问题,采用2种方法来降低求解难度;一是预选取方法,将提前确定的不与其他通孔产生冲突的冗余通孔作为部分解来降低问题的规模;二是分治法,根据连通分量将原问题划分成多个子问题分别求解,降低求解的复杂度.同时,从理论上证明这2种方法能够保证解的最优性.在2019年国际物理设计研讨会(ISPD)举办的详细布线比赛基准测试集上进行实验的结果表明,所提出的插入方法带来的时间开销不到详细布线时间的5%,算法的最优性保证了最大化解决插入冲突后的插入率,在所有可插入通孔中,冗余通孔的插入率为67%~87%.; 关键词冗余通孔插入命题逻辑最大可满足性问题版图后优化可制造性设计; Keywords redundant via insertion maximum satisfiability problem post-layout optimization design for manu-facturing; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	操作
1	小规模非规则TRSM实现与优化	郭容园贾海鹏张云泉韦存阳邓明森陈婧蕊周振亚	《计算机研究与发展》北大核心	2025	在线阅读下载PDF 职称材料
2	面向三重版图曝光约束的详细布线算法	梁小宇孙若涵徐宁张亚东	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2024	在线阅读下载PDF 职称材料
3	多重掩模场景详细布线算法	武洁吴皓莹徐宁张亚东	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2024	在线阅读下载PDF 职称材料
4	利用命题逻辑最大可满足性的冗余通孔最优插入方法	杨成杨骏张亚东	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2023	在线阅读下载PDF 职称材料