Synopsys is $1.75B