A distributed architecture to check global properties for post-silicon debug