基于二分判定图的模拟电路层次化符号分析方法实现和性能比较-电子科学与技术专业论文.docxVIP

上海交通大学硕士学位论文 上海交通大学硕士学位论文 万方数据 万方数据 基于二分判定图的模拟电路层次化符号分析方法实现和性能 比较 摘 要 符号化仿真器具备数值化仿真器所没有的特性，可以作为数值仿 真器之外的重要补充。符号化仿真法基于不同的设计原理又可以分为 基于代数方法和基于图的方法。基于图的符号化仿真器具有无对消项 的优势。在这篇论文中，一种基于图约化的层次化符号分析方法将被 提出。本方法使用二分判定图（Binary Decision Diagram）来实现内部 的数据共享，是先前图对判定图（Graph-Pair Decision Diagram）的拓 展。图对判定图是面向二端口受控源而设计的，而在新的方法中，我 们将使用多端口受控源来构造图对。这样，大规模的电路就可以用层 次化的方式进行分析。这个新的方法可以保证在每个电路层次中不存 在对消项。根据我们的实验结果，该方法可以极大地降低电路分析的 复杂度，并且仿真器的实现以及层次化电路的划分仍然可以很简单。 本文进而在该方法与另一种基于代数的层次化符号法，层次化行列式 判定图（Hierarchical Determinant Decision Diagram）之间进行实验对 比。我们发现该方法在确保无对消项的前提下，可以取得与行列式判 定图相当的性能。 关键词：模拟电路，二分判定图，无对消项符号法，图约化，层次化 分析，多端口分