This preview shows page 1. Sign up to view the full content.
Unformatted text preview: J-frontier must now be justified. This is done by advancing the J-frontier backward by placing pre-decessor gates in the J-frontier such that they justify the previous unjustified gates. Similar to propagation of the fault-effect, whenever a conflict occurs, a backtrack must be invoked. In addition, at each step, the D-frontier must be checked so the D (or D ) that has reached a primary output is still there. Otherwise, the search returns...
View Full Document
- Spring '08