Synopsys update