Verplex Systems provides full-chip functional closure from RTL specification through GDSII for multi-million gate designs. The company offers the high-speed, large-capacity formal verification products for complex system-on-chip (SoC) ICs.

Its verification solutions are intended for application-specific IC (ASIC) and IC design and verification engineers.