Divide and conquer approach to functional verification of PowerPC TM microprocessors. - Charles Roth; Jon Tyler; Paul Jagodik; Huy Nguyen (IEEE International Workshop on Rapid System Prototyping, 1997)