OPTIMIZATION OF BDD BY CHAOTIC EVOLUTION ALGORITHM AND ITS APPLICATION IN TEST OF STUCK-OPEN FAULTS IN DIGITAL CIRCUITS

摘要

The binary decision diagram (BDD) is an efficient graph representation of logic Boolean functions, it has wide applications in a lot of areas, such as computer science, circuit design and test. The size of binary decision diagram depends on the variable o