Synopsys (NASDAQ: SNPS) agrees to $1 billion buyback in ASR agreement | StockRay