hi,
you know i am a beginner as u. I think u can use synopsys or symplify or other tools to add constrains.Of course,there r many IP core and info aviliable at internet,and try to search google to find some. U can alse find it with search in this site,for it is not a new question.