Debugging systems-on-chip : communication-centric and abstraction-based techniques (2014)