發送短信 : Modelling and verification in structured integrated circuit design /