この資料をSMS送信: Zur Automatisierung des Systementwurfs integrierter Schaltungen /