Sept. 19, 2002
Workshop on Boolean Problems
External Specification
•Can be specified by
–The initial network plus don’t cares
•e.g. in Boolean networks, we can give external don’t cares, one set for each output.
–A separate specification (network or BDD or other)
•Notation:
•Requirement: conformity