Cadence has lagged behind in formal verification tools, which it plans to remedy by acquiring the JasperGold Apps suite. Cadence will integrate Jasper's formal analysis toolkit into the Cadence System Development Suite to create the most comprehensive set of verification tools available today, according to the companies: R. Colin Johnson @NextGenLog
Further Reading