Verplex Systems, Inc. 300 Montague Expwy., Ste. 100 Milpitas, CA 95035 (408) 586-0300 www.verplex.com

Verplex Systems, Inc. offers the fastest, highest capacity and easiest to use formal verification tools including the industry leading Tuxedo™ LEC equivalence checker, Tuxedo™ LTX transistor to Verilog extraction tool and the new BlackTie(TM) functional checker, the world's first formal RTL validation tool with full chip capacity.