发送短信 : 1992 IEEE/ACM International Conference on Computer-Aided Design, November 8-12, 1992, Santa Clara, California :