この資料をSMS送信: Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis