SNPS · Synopsys, Inc. · Tenji