Accurate Low Power verification on a Complex Low Power Design using CLP