The design of contemporary antenna systems encounters multifold challenges, one of which is a limited size. Compact antennas are indispensable for new fields of application such as the Internet of Things or 5G/6G mobile communication. Still, miniaturization generally undermines electrical and field performance. When attempted using numerical optimization, it turns into a constrained problem with costly constraints requiring electromagnetic (EM) simulations. At the same time, due to the parameter redundancy of compact antennas, size reduction poses a multimodal task. In particular, the achievable miniaturization rate heavily depends on the starting point, while identifying a suitable starting point is a challenge on its own. These issues indicate that miniaturization should be addressed using global optimization methods. Unfortunately, the most popular nature-inspired algorithms cannot be applied for solving size reduction tasks because of their inferior computational efficacy and difficulties in handling constraints. This work proposes a novel methodology for the globalized size reduction of antenna structures. Our methodology is a multi-stage knowledge-based procedure, initialized with the detection of the approximate location of the feasible region boundary, followed by the construction of a dimensionality-reduced metamodel and global optimization thereof; the last stage is the miniaturization-oriented local refinement of geometry parameters. For cost reduction, the first stages of the procedure are realized with the use of a low-fidelity EM antenna model. Our approach is verified using four broadband microstrip antennas and benchmarked against multi-start local search as well as nature-inspired methods. Superior size reduction rates are demonstrated for all considered cases while maintaining reasonably low computational costs.