SpiceCheck

Programmable Netlist-Driven Transistor Level Design Checker

OverviewSpiceCheck is a programmable transistor-level netlist-driven static design checker. The check functionality is fully customizable based on a rich set of Tcl check commands. The program accepts flat and hierarchical netlist input and allows access to design properties including device parameters, process models, design connectivity and power domain information.

For post-layout verification applications, SpiceCheck is also capable of correlating extracted parasitics to the original ideal design; finding critical parasitic elements; and calculating total resistance along parasitic network.