Verification of the UltraSPARCTM MicroprocessorS. Mehta, T. Yu, Sameer Ahmed et al.|Unknown|1995Cited by 1