Formal verification of on-chip communication fabrics by