domain = “synopsys.com” name = “Synopsys” rank = 995