Synopsys to Buy Ansys in $35B Deal – Reuters