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