VLSI P/G网验证及宏单元布线研究

摘要

该论文包括两个部分,第一部分探讨了VLSI芯片P/G网验证问题,提出基于网络划分、子网等效压缩变换的大规模线性方程组求解方法;第二部分探讨了一个晶体管级宏单元自动版图布线系统的有关理论问题,并实现了一个实用的处理宏单元版图的自动布线系统.应用层次化思想,该文通过对线性方程组求解的网络模型分析,提出了一种基于网络分割、等效压缩的算法.该文基于芯片、宏单元、晶体管群三级的层次化架构,实现了一个宏单元自动布线系统.

目录

文摘

英文文摘

第一章绪论

§1.1引言

§1.2 P/G网设计验证

§1.3 VLSI版图设计

§1.3.1布图自动化

§1.3.2宏单元布图自动化

§1.4论文的研究内容与组织结构

第一部分大规模P/G线网快速分析算法

第二章引言

§2.1 P/G网验证模型

§2.2 P/G网分析线性方程组系数矩阵特征

第三章大规模线性方程组求解综述

§3.1线性方程组直接解法

§3.2线性方程组迭代解法

§3.3系数矩阵Chol esky分解法

第四章基于子网分割线性方程组求解

§4.1对称正定阵三角化网络图模型

§4.2对称正定阵三角化过程分析

§4.3电路网络基于子网分割的快速Chol esky分解

第五章实验结果

第二部分宏单元自动布线系统

第六章宏单元版图自动布线概述

§6.1标准单元版图结构概述

§6.2宏单元版图结构概述

§6.2.1 DVC结构与布图特征

§6.2.2宏单元版图样式

§6.3宏单元自动布线系统简介

第七章列间区域总体布线及交叉分布算法

§7.1列间区域总体布线算法

§7.2列间区域交叉分布算法

§7.2.1最小化交叉分布算法综述

§7.2.2二分区域交叉分布算法

§7.2.3任意区域交叉分布算法

§7.3实验结果

§7.4坐标生成

第八章优化浮动点布线算法

§8.1引言

§8.2单端浮动走线布线算法

§8.2.1单线布线分析

§8.2.2绕线布线分析

§8.2.3双线布线分析

§8.2.4搭接点预布线

§8.2.5优化与结果

§8.3两端浮动走线布线算法

§9.1一般详细布线算法综述

§9.2优化换层的层分配算法

§9.2.1最小化换层的层分配算法简述

§9.2.2优化层分配算法

§9.3单层变线宽详细布线算法

§9.3.1有网River布线算法

§9.3.2变线宽River布线算法

§9.4实体布线算法

§9.5实验结果

结论与展望

参考文献

攻读博士期间撰写的学术论文及参加科研项目

致谢