High-level design of a ternary asynchronous multiplexer

Walter DOSCH, Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)

4 Citations (Scopus)

Abstract

The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two important transformations: differentiation localizes the effect of single inputs wrt. an input history, abstraction extracts the component's control state and data state from the previous input history.
Original languageEnglish
Title of host publicationProceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005
PublisherCurran Associates Inc
Pages221-228
Number of pages8
ISBN (Print)9.781604234558E12
Publication statusPublished - 1 Jan 2005

Bibliographical note

Paper presented at the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2005), 20-22 July 2005, Toronto, Canada.

Keywords

  • Communication history
  • Control state
  • Data state
  • Differentiation
  • History abstraction
  • Multiplexer
  • State transition machine
  • Stream

Fingerprint Dive into the research topics of 'High-level design of a ternary asynchronous multiplexer'. Together they form a unique fingerprint.

  • Cite this

    DOSCH, W., & YEUNG, W. L. (2005). High-level design of a ternary asynchronous multiplexer. In Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005 (pp. 221-228). Curran Associates Inc.