Formal verification of on-chip communication fabrics door