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
Language
English
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.