Checking Pipelined Distributed and Global Properties at Post-silicon Debug

In English Ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is difficult as it requires checking of global properties that are distributed on the chip. Different to our previous work where only one token was considered, we address in this paper pipelined tokens and we discuss the scalability of the debug architecture.