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 |
ID |
702598 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6ns1c1q |