Diretor financeiro adjunto da Synopsys vende mais de US$ 6 milhões em ações