In this paper we solve the following problem:"given a digital circuit composed of gates whose real-valud delays are in an integrerbounded interval,is there a way to discretize time while preserving hte qualitative behaivor of the circuit?" This problem is described as open in [BS94].When "preservation of qualitative behaior" is interpreted in a stict ense,as haivng all original sequences of events with their original ordering we obtain the following two results:
展开▼