BINARY LOGIC DIAGRAMS IMPLY NONUNIQUE FUNCTIONALITY

Binary logic diagrams (BLDs) are widely used to document the functiona lity of logic-based control systems. The ambiguous functionality impli ed by certain BLDs is highlighted by drawing analogies with asynchrono us sequential logic systems. Non-deterministic state transitions in th ese BLDs occur due to the existence of hazard and race conditions or, equivalently, non-unique feedback cut sets. The need for additional sp ecifications to remove this ambiguity is discussed, and recommendation s are made to aid in the specification of BLDs with unique functionali ty. (C) 1997 Elsevier Science Ltd.