EDA News - 2008.05.06

Synopsys Invests In Prover Technology - Signaling Design Automation Synopsys, Inc. (NASDAQ: SNPS) and Prover Technology AB announced that Synopsys has invested in Prover, which supplies signaling design automation solutions for engineering the safety critical systems that control trains, switches and signals. The funds will enable Prover to accelerate research and development efforts. NI Rolls Out Graphical Differencing and User Interface Toolkit National Instruments (Nasdaq:NATI) announced