InnoLogic Systems, Inc. 2860 Zanker Rd., Ste. 203 San Jose, CA 95134 (408) 432-6188 www.innologic-systems.com

Innologic’s, ESP-CV™ is a custom equivalence checker targeted at memory and custom blocks. ESP-CV takes SPICE netlists and verifies them against a reference. ESP-CV also provides equivalence checking where existing checkers fail. ESP-XV™ is an event driver symbolic Verilog® simulator. ESP-XV increases functional design coverage while reducing simulation time.