A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits

Provided by: National Science Foundation
Topic: Hardware
Format: PDF
In this paper, the authors present a proof that the adversary path timing assumption is both necessary and sufficient for correct SI (speed-Independent) circuit operation. This assumption requires that the delay of a wire on one branch of a fork be less than the delay through a gate sequence beginning at another branch in the same fork. Both the definition of the timing assumption and the proof build on a general, formal notion of computation given with respect to production rule sets.

Find By Topic