Functional verification of the superscalar SH-4 microprocessor. - Prasenjit Biswas; Andy Freeman; Kouji Yamada; Norio Nakagawa; Kunio Uchiyama (COMPCON, 1997)