Design Verification of a Super-Scalar RISC Processor. - Babu Turumella; Aiman Kabakibo; Manjunath Bogadi; Karakunakara Menon; Shaleah Thusoo; Long Nguyen; Nirmal R. Saxena; Michael Chow (FTCS, 1995)