Emerging multi-processor products, such as Multi-Processor System on Chips (MPSoC), exploit concurrency to spread work around a system improving performance. European competitiveness in microelectronics such as wireless, networking, telecommunications, automobile, and consumer products relies heavily on improving reliability of such multi-processor systems. Electronic System Level (ESL) design met ...