发送短信 : Techniques for efficient and accurate simulation of mixed analog & digital circuits /