この資料をSMS送信: Design and Verification of On−Chip Communication Protocols