Enviar aquest missatge de text: Design and Verification of On−Chip Communication Protocols