1. A method comprising: deriving a net equation representing a net state of an analog circuit net, wherein the net equation is derived from at least one other net state; determining a truthfulness of the net equation; and reporting the truthfulness.