Functional Coverage Driven Test Generation for Validation of Pipelined Processors

P. Mishra and N. Dutt, "Functional Coverage Driven Test Generation for Validation of Pipelined Processors," TR 04-05, March 12, 2004. download pdf