ajout de Red Bend et Synopsys