Scipediacontent: Scipediacontent moved page Draft Content 390877800 to Stevens Birtwistle 2008a

2021-02-03T17:12:46Z

Scipediacontent moved page Draft Content 390877800 to Stevens Birtwistle 2008a

Scipediacontent: Created page with " == Abstract == complete family of untimed asynchronous 4-phase pipeline protocols is derived and characterised. This family contains all untimed protocols where data become..."

2021-02-03T17:12:40Z

Created page with " == Abstract == complete family of untimed asynchronous 4-phase pipeline protocols is derived and characterised. This family contains all untimed protocols where data become..."

New page

== Abstract ==

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.

== Original document ==

The different versions of the original document can be found in:

* [http://www.ece.utah.edu/~kstevens/docs/async2008.pdf http://www.ece.utah.edu/~kstevens/docs/async2008.pdf]

* [http://www.ece.utah.edu/~kstevens/docs/async2008.pdf http://www.ece.utah.edu/~kstevens/docs/async2008.pdf],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004557000 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004557000],
: [https://dl.acm.org/citation.cfm?id=1447984 https://dl.acm.org/citation.cfm?id=1447984],
: [https://dblp.uni-trier.de/db/conf/async/async2008.html#BirtwistleS08 https://dblp.uni-trier.de/db/conf/async/async2008.html#BirtwistleS08],
: [http://www.eng.utah.edu/~kstevens/docs/async2008.pdf http://www.eng.utah.edu/~kstevens/docs/async2008.pdf],
: [https://academic.microsoft.com/#/detail/2149578545 https://academic.microsoft.com/#/detail/2149578545]

* [http://xplorestaging.ieee.org/ielx5/4556981/4556982/04557000.pdf?arnumber=4557000 http://xplorestaging.ieee.org/ielx5/4556981/4556982/04557000.pdf?arnumber=4557000],
: [http://dx.doi.org/10.1109/async.2008.19 http://dx.doi.org/10.1109/async.2008.19]

← Older revision	Revision as of 17:12, 3 February 2021
(No difference)

Stevens Birtwistle 2008a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 390877800 to Stevens Birtwistle 2008a

Scipediacontent: Created page with " == Abstract == complete family of untimed asynchronous 4-phase pipeline protocols is derived and characterised. This family contains all untimed protocols where data become..."