High-level design of a ternary asynchronous multiplexer

Walter DOSCH, Wing Lok YEUNG

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

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

Fingerprint

Refining
Communication

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

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.
DOSCH, Walter ; YEUNG, Wing Lok. / High-level design of a ternary asynchronous multiplexer. Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005. Curran Associates Inc, 2005. pp. 221-228
@inproceedings{a6443e9b52bd43d2b06e0bb7135a2d5a,
title = "High-level design of a ternary asynchronous multiplexer",
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.",
keywords = "Communication history, Control state, Data state, Differentiation, History abstraction, Multiplexer, State transition machine, Stream",
author = "Walter DOSCH and YEUNG, {Wing Lok}",
note = "Paper presented at the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2005), 20-22 July 2005, Toronto, Canada.",
year = "2005",
month = "1",
day = "1",
language = "English",
isbn = "9.781604234558E12",
pages = "221--228",
booktitle = "Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005",
publisher = "Curran Associates Inc",

}

DOSCH, W & YEUNG, WL 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. Curran Associates Inc, pp. 221-228.

High-level design of a ternary asynchronous multiplexer. / DOSCH, Walter; YEUNG, Wing Lok.

Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005. Curran Associates Inc, 2005. p. 221-228.

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

TY - GEN

T1 - High-level design of a ternary asynchronous multiplexer

AU - DOSCH, Walter

AU - YEUNG, Wing Lok

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

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

KW - Communication history

KW - Control state

KW - Data state

KW - Differentiation

KW - History abstraction

KW - Multiplexer

KW - State transition machine

KW - Stream

UR - http://commons.ln.edu.hk/sw_master/7100

M3 - Conference paper (refereed)

SN - 9.781604234558E12

SP - 221

EP - 228

BT - Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005

PB - Curran Associates Inc

ER -

DOSCH W, YEUNG WL. 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. Curran Associates Inc. 2005. p. 221-228