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.