Family of 4-phase latch protocols

Update item information
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
Date Created 2012-06-13
Date Modified 2021-05-06
ID 706385
Reference URL
Back to Search Results