Sept. 19, 2002

Workshop on
Boolean Problems

ND Network Behavior

•Given an ND network,
what is its behavior, i.e. what is the set of all PI/PO pairs that are related?

–this question is not
straightforward.

•For a deterministic,
well-defined network, there is exactly one PO vector for each PI vector

–however, if there are
some external don’t cares, then there may be several PO vectors for a PI vector,

–but don’t cares are
well understood.