Trademarks owned by Synopsys, Inc.