Necessary Condition for Truth of a Path
A path is statically co-sensitized by a vector V, if the input corresponding to the path is consistent with the value at the output of each gate on the path
A path may be responsible for the delay of the circuit only if it is statically co-sensitized on some vector (otherwise it is blocked)