Report 83-37 Reasoning about Time-Dependent Behavior Mr% Stanford -- KSL in a System for Diagnosing Digital Hardware Faults

To perform these diagnoses, DART must frequently determine how the hardware's primary inputs can be manipulated to produce desired test conditions at internal nodes. Especially when the system's behavior is time-dependent, this reasoning must be carefully controlled, or a combinatorial explosion may result. This paper contrasts two techniques for representing time-dependent digital system behavior and controlling reasoning to achieve desired hardware states. 2