A Distributed Architecture to Check Global Properties for Post-Silicon Debug
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a Multi-Processor System-On-Chip (MPSOC) is complicated, as it involves checking global properties that are distributed on the chip. In this paper, the authors define an architecture to non-intrusively observe global properties at run time using distributed monitors. The architecture enables to perform actions when a property holds, such as stopping (part of) the system for inspection. They apply this architecture to the problem of software races that result in incorrect communication between concurrent tasks on different processors.