Patent ID: 8555226

Claim:
A method comprising: sending a common condition signal to a first circuit instance and to a second circuit instance, wherein the first and second circuit instances are instances of a same electronic circuit design that includes one or more input ports and at least one output port; selecting a common input port from the one or more input ports; sending a first input value to the selected common input port of the first circuit instance, wherein the sending the first input value results in a first output value at the first circuit instance's output port; sending a second input value to the selected common input port of the second circuit instance, wherein the second input value is different than the first input value, and wherein the sending the second input value results in a second output value at the second circuit instance's output port; and verifying, by one or more processors, one or more dependencies between the one or more input ports and the at least one output port based on a comparison of the first output value and the second output value.