Patent ID: 7441213

Claim:
A method of validating initial conditions (ICs) of a circuit when simulating the circuit and correcting inconsistencies thereof, comprising the steps of: a) selecting a set of user-provided ICs and applying said set of user-provided ICs to respective nodes of said circuit; b) detecting inconsistencies in said user-provided IC set; c) eliminating said inconsistent ICs from said user-provided IC set and replacing an original set of said user-provided ICs by a subset thereof comprising valid ICs; and d) repeating steps b) and c) until a predetermined ending criterion is met, said inconsistencies being detected by: i) measuring currents flowing in or out a selected node to which an IC is applied; ii) determining whether said measured current flowing in or out a selected node exceeds a predetermined threshold; iii) ordering the ICs applied as a function of each measured current flowing in or out said selected node and said predetermined threshold; and iv) determining which of said user-provided ICs to remove from the user-provided set of ICs.