この資料をSMS送信: An AMBA−ARM7 Formal Verification Platform