Prabhat Mishra, Nikil Dutt. Automatic functional test program generation for pipelined processors using model checking. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 99-103, IEEE Computer Society, 2002. [doi]
Abstract is missing.