发送短信: Power-constrained testing of VLSI circuits