A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines

32 pages•Published: February 12, 2014

Graham Birtwistle and Kenneth S. Stevens

Abstract

We present a systematic way of studying state machine based design spaces and apply it to the study of asynchronous pipelines. Starting with the specification of the most concurrent behaviour as a state machine, all possible valid smaller designs may be generated by systematically removing structured patterns of output states (C cuts) and input states (R cuts). Taking the cartesian product of cuts C X R yields the complete design space which may then be partitioned according to well understood design styles. In this paper we extend previous results by studying mixed asynchronous pipelines of which homogeneous behaviours form a subset. The approach is presented using the much smaller 2phase setting (3 X 6) but the insights and structures revealed carry over to full 4phase designs (35 X 140). We present a complete overview of mixed 2phase linear pipeline behaviours; show how their structuring C cuts and R cuts relate; characterise the behaviours of linear pipelines in terms of these cuts for any depth; and show how the much larger R mixed behaviour patterns can be calculated from knowledge of the C behaviour patterns. Applications of the theory cover mixed linear pipeline and ring behaviours and the automatic generation of quality circuits from our specifications.

In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 34-65.

Links:	https://easychair.org/publications/paper/M3
	https://doi.org/10.29007/8p8h

BibTeX entry

@inproceedings{HOWARD-60:Design_Space_its_Patterns,
  author    = {Graham Birtwistle and Kenneth S. Stevens},
  title     = {A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/M3},
  doi       = {10.29007/8p8h},
  pages     = {34-65},
  year      = {2014}}

Download PDF Open PDF in browser