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!
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.
1 comment:
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.
Post a Comment