Generation of Test Cases for Hardware Design Verification of a Super-Scalar Fetch Processor. - Irith Pomeranz; Nirmal R. Saxena; Richard Reeve; Paritosh Kulkarni; Yan A. Li (ITC, 1996)