Effective abstraction for response proof of communication fabrics | IEEE Conference Publication | IEEE Xplore