發送短信 : High-level test synthesis of digital VLSI circuits /