Functional test generation using design and property decomposition techniques
Computer Architecture A Quantitative Approach