この資料をSMS送信: Logic synthesis and verifications algorithms