update DPLL