1. A method comprising: using a computer to derive a net equation representing a net state of a gate of an electronic 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.