MBDD CONSTRUCTION AND OPTIMIZATION DESIGN

This paper analyses the basic characteristic and development of BDD (Binary Decision Diagrams). For the requirement of verification and test generation, the appending method of BDD construction is presented. In order to reduce the non-terminal vertexes, the variables sorting using local segment is studied. The experiment results shows that the appending method is simple and practical.