Synopsys buys Coverity for $375M | Heykuki News