Timing verifier for MOS devices and related method

A timing verification system for verifying timing paths in a circuit design including a plurality of interconnected devices comprising:

• charge determining means for determining a plurality of charges at a corresponding plurality of specific nodes within a circuit, each of the plurality of charges corresponding to a specific configuration of devices and including model generation means for generating a plurality of models corresponding to said plurality of nodes, each of said plurality of models representing defining a charge within a specific configuration based upon characteristics of a device in said specific configuration, each said specific configuration including at least one MOS device having a gate connected to either one of a rising voltage input or a falling voltage input;
• a source at a voltage of either one of VSS or VDD or a terminal of a spearate MOS device;
• and a drain at a voltage of either one of VSS or VDD or a terminal of a spearate MOS device;
• and
• delay determining means for determining delays in paths in a selected circuit design to be verified using selected ones of said plurality of charges corresponding to one of the specific configurations representative of that circuit design.