An algebraic formulation of seitz's weak conditions for self timed circuits

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Subrahmanyam, P.A.
Other Author Purushothaman, S.
Title An algebraic formulation of seitz's weak conditions for self timed circuits
Date 1982
Description Two fairly intuitive conditions are given that serve to algebraically characterize Seitz's "weak conditions" for self timed circuits. It is shown that these two conditions embody the 12 temporal logic conditions (developed b y Owicki and Malachi) which are intended to express both the weak conditions as well as certain liveness properties that self timed circuits need to satisfy.
Type Text
Publisher University of Utah
First Page 1
Last Page 9
Subject Seitz's weak conditions; Self-timed circuits
Language eng
Bibliographic Citation Purushothaman, S., & Subrahmanyam, P. A. (1982). An algebraic formulation of seitz's weak conditions for self timed circuits. 1-9. UTEC-82-066.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 438,807 bytes
Identifier ir-main,16136
ARK ark:/87278/s6ns1c1q
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2021-05-06
ID 702598
Reference URL https://collections.lib.utah.edu/ark:/87278/s6ns1c1q
Back to Search Results