fixed synopsys command