Synopsys to acquire Ansys in $35bn deal