Due to its ease of application, the circle criterion has been widely used to guarantee the stability of many anti-windup schemes. While the Popov criterion gives less conservative results, it has been conjectured in the literature that it cannot be used for convex anti-windup synthesis. This paper shows that the conjecture does not necessarily apply in the discrete-time setting. We show how the...