=1000 =1000 psfig

The Formal Verification of the Fairisle Switch:
The 4x4 Switching Fabric

Paul Curzon

8th March 1994

• Introduction
• The Implementation
• The Behavioural Specification
• The Formal Verification
• References
• About this document ...