Temporal control of fault functional verification

A system, comprising:

• a processing circuit;
• and
• a non-transitory computer-readable medium, connected to the processing circuit, the non-transitory computer-readable medium storing instructions that, when executed by the processing circuit, cause the processing circuit to perform a method, the method comprising:
• determining, in a nominal functional verification of a circuit, that an output of a first component has a first value at a first point in time, the output of the first component being connected to an input of a second component by a wire;
• determining, in a fault functional verification of the circuit, that the output of the first component has a second value, different from the first value, at the first point in time;
• determining that the wire passes through a barrier;
• determining that the second value is associated with a fault of a first fault type;
• determining that the barrier is associated with the first fault type;
• and
• setting, in the fault functional verification, the value of the input of the second component, at the first point in time, to the first value based on:
• the determining that the second value is associated with a fault of the first fault type, and
• the determining that the barrier is associated with the first fault type.

A system, comprising:

• a processing circuit;
• and
• a memory, connected to the processing circuit, the memory storing instructions that, when executed by the processing circuit, cause the processing circuit to perform a method, the method comprising:
• determining, in a nominal functional verification of a circuit, that an output of a first component has a first value at a first point in time, the output of the first component being connected to an input of a second component by a wire;
• determining, in a fault functional verification of the circuit, that the output of the first component has a second value, different from the first value, at the first point in time;
• determining, based on runtime input, that the wire passes through a barrier;
• and
• setting, in the fault functional verification, the value of the input of the second component, at the first point in time, to the first value.