Sept. 19, 2002
Workshop on Boolean Problems
Conformity with External Specification
•Can use any one of the behaviors
–Just be consistent
•For example, we may have                  but                 If we use          consistently there is no problem.
•Ultimately, in most applications we want a final deterministic network.
•If any behavior conforms, then it contains only  correct deterministic ones