发送短信 : Switch-level timing simulation of MOS VLSI circuits /