Functional test generation using design and property decomposition techniques
Graph-Based Algorithms for Boolean Function Manipulation