SNPS Synopsys, Inc.