1. A method for producing a marking signal indicating at which components of an electric circuit or in which circuit areas of the electric circuit a predetermined circuit state defined at least by a voltage potential or a logic state could occur, the method comprising: forming a transformed network list from an original network list describing the circuit structure of the electric circuit, wherein treating all electric components of the electric circuit of at least one predetermined component group or of at least one predetermined component type as short-circuited at least with regard to, in each case, one connection pair; combining all network nodes connected via one or several components which are to be treated as short-circuited to form an equivalence category, wherein, in each case, all voltage potentials or logic states of the associated network nodes are allocated to each equivalence category; determining, taking into consideration the equivalence categories, whether and in which components or in which circuit areas of the electric circuit the predefined circuit state can occur; and producing a signal that marks the components or circuit areas identified by means of the transformed network list in the original network list as the marking signal.