Overview of PowerPC 620 multiprocessor verification strategy | IEEE Conference Publication | IEEE Xplore