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