Jainendra Kumar: Prototyping the M68060 for Concurrent Verification. IEEE Des. Test Comput. 14(1): 34-41 (1997)