Functional design verification for the PowerPC 601 microprocessor. - Scott Glenn; Gavin Meil; Ed Rodriguez; Jeff Brooks (VTS, 1994)