A high-level debug environment for communication-centric debug | IEEE Conference Publication | IEEE Xplore