Patent ID: 7313498

Claim:
A method for producing a test signal indicating that a prescribed circuit state can occur in an electrical circuit, the method comprising: treating all electrical components of the electrical circuit as having each pair of connections on the components either shorted or nonconductive on a component-specific basis; assigning an electrical state variable to at least one network node or one connection pin of the electrical circuit, wherein the assigning comprises firmly assigning a firm electrical state variable in forming a stop network; allocating each network node and each connection pin all of the electrical state variables of those network nodes and connection pins to which the respective network node or the respective connection pin is connected via the components' pairs of connections which are treated as shorted, wherein the allocating is not performed for the stop network; using at least the allocated state variables to establish whether the prescribed circuit state can arise, occur in the electrical circuit; and sending the test signal to a user, if the prescribed circuit state can occur.