Wednesday, May 07, 2008

Weirdest EDA Acquisition Ever?

Just read about Synopsys Invests In Prover Technology and I decided to post it without further research, just to react to the article.

From reading the press release, I'm really left scratching my head. Is this for real? It's not April 1, right? I am very curious to see how much synergy exists between "railway signal design automation" and EDA!

1 comment:

Sean Murphy said...

The Prover folks have been around a while, it's a well established formal verification toolkit that has found a success in a particular vertical market. I spoke with them in 2004 or so at DVCon or DAC, they were serious engineers. Synopsys probably sees some more general purpose uses for the technology.