• DocumentCode
    2848927
  • Title

    Formal derivation of systolic arrays-a case study

  • Author

    Payer, Michael

  • Author_Institution
    Inst. fuer Inf., Tech. Univ. Munchen, West Germany
  • fYear
    1988
  • fDate
    25-27 May 1988
  • Firstpage
    331
  • Lastpage
    340
  • Abstract
    The author exemplifies a conceptual framework, namely, the theory of finite-state machines, for the VLSI design process. He starts from a functional description of the system to be realized and achieves a (semi)systolic array in a formal way. The resulting designs are correct by their mere construction
  • Keywords
    VLSI; cellular arrays; finite automata; VLSI design; finite-state machines; formal derivation; functional description; systolic arrays; Automata; Computer aided software engineering; Global communication; Hardware; Pipelines; Process design; Systolic arrays; Timing; Turing machines; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systolic Arrays, 1988., Proceedings of the International Conference on
  • Conference_Location
    San Diego, CA
  • Print_ISBN
    0-8186-8860-2
  • Type

    conf

  • DOI
    10.1109/ARRAYS.1988.18073
  • Filename
    18073
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2848927