From: [ Jim Hogan of Vista Ventures LLC ]
Subject: Hogan on Cadence, Mentor, OneSpin, Real Intent, Synopsys formal
Hi, John
CAREFUL NOTE: Like a fine wine, formal tools easily take decades to mature.
Buyer beware if you hear a vendor claim that they have a “new breakthough” formal tool.
Below are the 4 major players in formal verification tools: