VerificationofLowPowerDesignsusingCPF