“Synopsys's CEO does not expect current US restrictions on technology sales to China to change.”