Presidente executivo da Synopsys vende US$ 11,1 milhões em ações