Power-constrained testing of VLSI circuits