集成电路并行仿真算法研究-微电子学与固体电子学专业论文.docxVIP

Domestic Classified Index: TN47 U. D. C.: 621.3.049.774 Dissertation for the Doctoral Degree in Engineering RESEARCH ON VLSI PARALLEL SIMULATION ALGORITHMS Candidate: Wang Jiafang Supervisor: Prof. Ye Yizheng Academic Degree Applied for: Doctor of Engineering Specialty: Microelectronics and Solid-State Electronics Affiliation: Dept. of Electronic Science and Technology Date of Defense: Feb, 2006 Degree-Conferring Institute： Harbin Institute of Technology 摘 要 摘 要 哈尔滨工业大学工学博士学位论文 哈尔滨工业大学工学博士学位论文 － － I － 摘要 随着集成电路技术，尤其是 VLSI 深亚微米工艺和 SoC 技术的发展，集 成电路设计的规模不断膨胀、复杂程度也越来越高。而验证电路正确性的仿 真工具的发展速度明显滞后于集成电路制造工艺的发展速度，仿真成为整个 VLSI 设计周期的瓶颈。开发 VLSI 仿真任务内在的并行性，合理地分配和调 度资源，即并行分布式仿真是提高仿真精度和缩短仿真周期的有效途径。本 文将在逻辑级和电路级讨论并行仿真问题。 并行分布式事件驱动仿真(PDES)的基础是保证各逻辑进程间同步地仿 真。本文在原有保守型同步模型 Transmix 的基础上，设计了一个新的模型－ Transmix-M，该模型是同时支持保守机制和乐观机制的混合型同步模型，提 高了系统中可并发仿真的逻辑进程（LP）的数量。本文提出了新的计算 mft 的方法，使 Transmix-M 成为一个应用透明的模型。在混合型同步模型的具 体实现过程中，定义了扩展虚拟时间的概念更为准确地定义了保守逻辑进程 执行的安全条件和更为有效地处理了 乐观逻辑进程的回溯。此外， Transmix-M 还支持根据系统的运行状态自适应地改变逻辑进程的同步机制， 以避免逻辑进程的过度阻塞或频繁回溯。 混合型同步模型 Transmix-M 与保守型的 Transmix 相比，能够提供更多 可并行的逻辑进程，但是如何分配逻辑进程给并行环境中不同性能的处理器， 属于并行计算讨论的范畴。合理划分是提高并行仿真速度、降低通信开销的 关键。本文分析了已有的逻辑级电路划分算法的优缺点并选择执行效率高、 易于实现的 F-M 算法作为算法原型，提出了 TCFM 算法，该算法包括聚类方 法和改进的 F-M 算法两部分。优化的初始划分可以加速 F-M 算法的收敛， TCFM 中的两层聚类算法实现对电路初始划分的优化，其中考虑了降低子电 路间通信量和工作负载均衡等问题；TCFM 中的改进的 F-M 算法避免了标准 F-M 算法陷入局部最优划分的可能，实现了全局最优划分。本文采用组合逻 辑 ISCAS’85 和时序电路 ISCAS’89 的 Benchmark 对 TCFM 算法进行了评估， 另外通过定义的割边率和通信率来衡量划分算法的通信开销。 在电路级并行仿真部分，本文首先描述了 Transmix-M 同步模型如何支持 电路级仿真，然后提出依据 VLSI 设计的物理背景初等变换迭代过程中的 Jacobi 矩阵为具有块边界特征的形式，以便矩阵中的各子块间可以实现全部 和部分地并行。接着给出了求解块边界特征的线性方程组的显式方法和隐式 方法，并通过改进修正因子，使改进的隐式方法兼有显式方法迭代步之间关 联性更强的优点，最终能够达到加速迭代过程的目标。此外，针对于划分可 能带来的奇异矩阵问题提出了解决方案。 在电路级并行仿真的实现中，本文首先定义了计算负载、计算力以及效 益估计等概念，用于在静态任务分配算法和动态负载平衡算法中衡量任务负 载、机器性能和判断是否进行负载迁移等。本文提出了一个静态任务负载平 衡算法 NSLBA，并提出动态负载平衡算法进一步提高并行效率，对动态负载 平衡调度算法的调度频度、迁移粒度、负载调度阈值等关键参数作了进一步 的分析。通过三个典型模拟电路的实验，验证了修正型隐式方法的收敛速度 以及静态/动态负载平衡算法对加速比提高的效果。 关键词 事件驱动仿真；数字电路划分；块边界 Jacobi 矩阵；静态任务分配； 动态负载平衡 － II － Abstract Abstract 哈尔滨工业大学工学博士学位论文 哈尔