Prototyping the M68060 for concurrent verification | IEEE Journals & Magazine | IEEE Xplore