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 |
|---|---|
| Title of host publication | Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005 |
| Publisher | Curran Associates Inc |
| Pages | 221-228 |
| Number of pages | 8 |
| ISBN (Print) | 9.781604234558E12 |
| Publication status | Published - 1 Jan 2005 |
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