High-Level Design of a Ternary Asynchronous Multiplexer

W. Dosch; W. L. Yeung

High-Level Design of a Ternary Asynchronous Multiplexer

W. Dosch, W. L. Yeung

Institute of Software Engineering and Programming Languages

Lingnan University

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 language	English
Pages	221-228
Number of pages	8
Publication status	Published - 01.12.2005
Event	14th International Conference on Intelligent and Adaptive Systems and Software Engineering - Toronto, Canada Duration: 20.07.2005 → 22.07.2005 Conference number: 96409

Conference

Conference	14th International Conference on Intelligent and Adaptive Systems and Software Engineering
Abbreviated title	IASSE 2005
Country/Territory	Canada
City	Toronto
Period	20.07.05 → 22.07.05

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

@conference{31660c11d51b48f0b0743537ef2bda4a,

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.",

author = "W. Dosch and Yeung, {W. L.}",

year = "2005",

month = dec,

day = "1",

language = "English",

pages = "221--228",

note = "14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005 ; Conference date: 20-07-2005 Through 22-07-2005",

}

TY - CONF

T1 - High-Level Design of a Ternary Asynchronous Multiplexer

AU - Dosch, W.

AU - Yeung, W. L.

N1 - Conference code: 96409

PY - 2005/12/1

Y1 - 2005/12/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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-34250872888&origin=inward&txGid=d7a034ecf5f96402dc9f3a6c175c954d

M3 - Conference Papers

SP - 221

EP - 228

T2 - 14th International Conference on Intelligent and Adaptive Systems and Software Engineering

Y2 - 20 July 2005 through 22 July 2005

ER -

High-Level Design of a Ternary Asynchronous Multiplexer

Abstract

Conference

UN SDGs

Other files and links

Fingerprint

Cite this