A formal approach to mpsoc performance verification
Computer
R. Ernst
K. Richter
A Full Lifecycle Performance Verification Methodology for Multicore Systems-on-chip