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.
|Title of host publication||Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005|
|Publisher||Curran Associates Inc|
|Number of pages||8|
|Publication status||Published - 1 Jan 2005|
Bibliographical notePaper presented at the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2005), 20-22 July 2005, Toronto, Canada.
- Communication history
- Control state
- Data state
- History abstraction
- State transition machine