Seol mar théacs é seo: Design and Verification of On−Chip Communication Protocols