Functional test generation using design and property decomposition techniques
Coverage directed test generation for functional verification using Bayesian networks