Io ho risolto così...

$zeri="0000000";
$CodProd=substr($zeri,1,7-strlen($CodProd)).$CodProd;

Funziona bene, ma mi chiedevo solo se c'era una funzione già pronta.....