この資料をSMS送信: High-level test synthesis of digital VLSI circuits /