Финансовый директор Synopsys продает акции на сумму 10,54 млн долларов