Yes, Cadence did repeatedly claim that their tools were "complementary" to Jasper's, which I think you are correctly interpreting as meaning Jasper's formal verification suite fills a gaping hole in Cadence's offerings. Of course, there is also the issue of overlap. When I asked Cadence about overlap between the two toolsets and how integration would be accomplished they hedged, saying it was too early in the acquisition process to say how JasperGold Apps would be integrated with Cadence's System Development Suite, or even whether Jasper's design team would be folded into Cadences's or left alone in their own facility (the two companies are only about 10 miles apart in Silicon Valley). Good catch. Thanks.
That way it will, may be require some time to come out with the complete working set of tools. May be there will require manpower who can understand both the tools sets perfectly to tightly integrate with each other.
There is consolidation going on the chip design, test and verification domain. With technology becoming more complex and companies looking down to cut chip manufacturing costs, only companies with deep pockets will be able to provide the valuable innovations.
If this is the way and pace the technology advances, it will be really very tough to afford the cost of tools used to implement latest technologies. You are right only deep pockets will be able to afford the latest tools.
Replay available now: A handful of emerging network technologies are competing to be the preferred wide-area connection for the Internet of Things. All claim lower costs and power use than cellular but none have wide deployment yet. Listen in as proponents of leading contenders make their case to be the metro or national IoT network of the future. Rick Merritt, EE Times Silicon Valley Bureau Chief, moderators this discussion. Join in and ask his guests questions.