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.