Functional Verification of the Equator MAP1000 Microprocessor. - Jian Shen; Jacob A. Abraham; Dave Baker; Tony Hurson; Martin Kinkade; Gregorio Gervasio; Chen-chau Chu; Guanghui Hu (DAC, 1999)