Along with its Q1 results, Cadence (CDNS) announces it's buying Jasper Design Automation, a provider of verification software tools to chipmakers, system developers, and IP providers, for $170M in cash ($140M exc. cash on hand).
Cadence notes Jasper is a leader in the formal analysis segment of the verification tool market, and that many of the companies' joint customers are "increasingly adopting formal analysis to complement traditional verification methods, so as to better address the challenge of verifying increasingly complex and flexible IP designs and [SoCs]."
The deal is expected to close in Q2, and will be paid for using both cash on hand and a credit facility. Cadence sees Jasper's technology complementing its System Development Suite. Jasper competes against Cadence archrival Synopsys (SNPS), which offers clients its Magellan formal analysis product.
Cadence is guiding for Q2 revenue of $370M-$380M and EPS of $0.19-$0.21 vs. a consensus of $372.2M and $0.23. Full-year guidance is for revenue of $1.55B-$1.59B and EPS of $0.92-$1.02, in-line with. a consensus of $1.57B and $0.97.