The Formal Veri cation of the Fairisle Switch : The 4 x 4 Switching Fabric