Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Electrical & Computer Engineering |
Creator |
Stevens, Kenneth |
Other Author |
Birtwistle, Graham |
Title |
Family of 4-phase latch protocols |
Date |
2008 |
Description |
A complete family of untimed asynchronous 4-phase pipeline protocols is derived and characterised. This family contains all untimed protocols where data becomes valid before the request signal rises. Starting with a specification of the most parallel such protocol, rules are provided for concurrency reduction to systematically generate the family of all 137 related protocols that can be pipelined. Graphical and textual nomenclatures are developed to represent protocol properties and behaviours. The protocols are categorised according to their behaviours when composed into linear and structured parallel pipelines. Six basic categories emerge, along with several properties such as a single state that determines whether a protocol is fully or half buffered. When equivalence classes are calculated for parallel pipeline behaviours they are dominated by 15 shapes (all of which are delay-insensitive) which are related by a simple lattice. Several published circuits are shown to map to 16 of our 137 family members. This work enhances the understanding of handshake protocols, their properties, and relationships between different implementations in terms of concurrency and behavioural properties. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
First Page |
71 |
Last Page |
82 |
Language |
eng |
Bibliographic Citation |
Birtwistle, G., & Stevens, K. S. (2008). Family of 4-phase latch protocols. 14th International Symposium on Asynchronous Circuits and Systems, 71-82. April. |
Rights Management |
(c) 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
343,200 bytes |
Identifier |
ir-main,15278 |
ARK |
ark:/87278/s6j96qxn |
Setname |
ir_uspace |
ID |
706385 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6j96qxn |