發送短信 : Computer aided design of digital systems :