More specifically, it first makes an analysis of the circuit topological structure to gather the information on local signal correlation by means of BDD learning.

• 其具体的做法是：首先分析电路的拓扑结构，收集局部信号的关联信息，构造局部电路结构的BDD图；