Title

High-level design of a ternary asynchronous multiplexer

Document Type

Conference paper

Source Publication

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

Publication Date

1-1-2005

First Page

221

Last Page

228

Publisher

Curran Associates Inc

Keywords

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

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.

Additional Information

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

ISBN of the source publication: 9781604234558

Recommended Citation

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.

This document is currently not available here.

Share

COinS