Abstract: This paper overviews the achievements and develepment trends of binary decision diagrams(BDD) optimization, focusing on exact ordering algorithm and dynamic heuristic ordering algorithm, and some proposals are given to improve the BDD optimization algorithm: taking advantage of non-complete enumerating method and utilizing the strategy of stochastic process dynamic programming.