Técnicas de Control Formal para la Gestión de Potencia y Rendimiento

Estas técnicas determinan cuándo acelerar un procesador para alcanzar objetivos de rendimiento y cuándo desacelerarlo para ahorrar energía. Utilizan escalado dinámico de voltaje y frecuencia para equilibrar la velocidad y evitar limitaciones de frecuencia en el peor de los casos tanto para dominios de reloj múltiples como para multiplicadores de chips.