※ 引述《ric2k1 (Ric)》之銘言：
: 4. For a gate 'k' in the original "watching-v/known" lists of 'g' (i.e. 'g'
: is one of the watch pointers of 'k'), 'k' will try to update its watch
: pointer. Generally, this update process may result in:
: (i) The watch pointer is successfully updated. Let the new watch
: pointer be 'p' with watch value 'u' (u = 0, 1, or known), the 'k'
: will be added to the "watching-u" list of gate 'p'.
: (ii) The watch pointer cannot be updated due to implication conflict
: in 'k' (i.e. all the pins on the gate have watch values.
: e.g. all the fanins of an OR gate have value '0' and the output has
: value '1'). Then 'k' will be restored back to the "watching-v/known"
: lists of 'g' and the conflict analysis process will be triggered.
: (iii) The watch pointer cannot be updated and neither new implication
: nor conflict is generated on 'k' (i.e. the other watch pointer has
: non-watch value). Then no action will be taken except that 'k' will
: be restored back to the "watching-v/known" lists of 'g'.
: Hope this is clear.
我想我大概知道怎麼操作了
但是還是想知道哪種gate的哪種fan-in會在watching-known
而不是watching-0,1
另外,case(iii)是為了能detect未來的conflict嗎?