Innologic Systems has released Version 2.0 of the ESP-CVTM and ESP-XVTM equivalence checkers. You can use ESP-CV on custom designs that have no state-point mapping or for designs in which you cannot ...