Synopsys reports 12 percent rise in quarterly revenue