- Verplex is the leader in formal verification and is the independent standard, offering the only complete solution for functional closure. Verplex's BlackTie™ functional checker formally verifies assertions and eliminates structural and semantic problems in the RTL, thereby ensuring it is golden prior to implementation. Verplex's Conformal(TM) Logic Equivalence Checker(LEC) and Conformal™ Layout Versus RTL (LVR) then ensure your golden design is correctly implemented from RTL to layout. Using Verplex, you will "Design it golden and keep it golden.™”
|
