Fre'de'ric PE'TROT Outils d'aide au de'veloppement de bibliothe`ques VLSI portables