fix SYNOPSYS