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!
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:
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