Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs