二分判定图(Binary Decision Diagram)是一种非常好的数据结构,将它用于模型验证可以很好地解决状态空间数量巨大的问题。与之类似,模拟电路通常需要进行频域分析,电路传输函数能方便的显示出系统参数对系统性能的影响,并可以进一步指明该参数该如何调整。其解析表达式由电路中元件的“乘”和“加”组合而成。随着电路规模的增加,传输函数中的最小生成项个数呈指数规模增加。将二分判定图引入模拟电路进行传输函数的频域求解,此举能有效的解决传输函数的最小生成项个数与电路中元件个数的数量级关系。但是二分判定图没有彻底解决空间数量巨大的问题,其二分判定图的规模极易受到变量处理顺序的影响,即一个糟糕的变量处理顺序仍然可能导致二分判定图的结点个数大大增加。因此,基于二分判定图的符号化仿真器性能很大程度上依赖于符号排序。本文对一个基于拓扑的符号化模拟电路仿真器的符号排序进行了研究,结合模拟电路中常见的三种共极状态拓扑连接结构,提出了一种根据电路功能模块对符号排序的启发式排序方法。测试表明该启发式符号排序方法明显比随机排序仿真具有更快的仿真速度。