BDD( Binary Decision Diagram)is the state-of-the-art data structure in logic function. It is widely used in the fields of computer science and digital circuit and system.