A provider of Formal Verification products, Conformal Solutions and Blacktie Property Checker.
Verplex was a formal verification company, offering a solution for functional closure. Verplex’s BlackTie functional checker eliminates structural and semantic inconsistencies in the RTL reference design, thereby ensuring RTL is golden prior to implementation. BlackTie is tightly integrated with Conformal Logic Equivalence Checker (LEC) and Transformal Logic Transistor eXtractor (LTX) to ensure the golden design is correctly implemented from RTL to layout.
Acquired by Cadence Design Systems in 2003 for $87.6M in cash.
