この資料をSMS送信: Modelling and verification in structured integrated circuit design /