Checking Pipelined Distributed and Global Properties at Post-silicon Debug
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.
- Electrical Engineering, Electronic Engineering, Information Engineering
DAC Workshop on Diagnostic Services in Network-on-Chips (DSNoC'10)