Cross-Abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs | IEEE Journals & Magazine | IEEE Xplore