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.