DvfsCpuFormula implemented + test