Abstract
In this paper, we present a formal modeling and refinement approach for on-chip communication architecture development, based on the Action Systems formalism. Stepwise refinement from an abstract high-level initial model to an implementable parallel switch based model is discussed. The focus is on gradually decomposing the initial specification into a composition of concurrently operating subsystems. Data transactions are modelled with atomic message passing events via interface procedures, for which a new notation is introduced. The concept is demonstrated by a network-like pipelined bus platform.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Back, R., Sere, K.: From Action Systems to Modular Systems. Software — Concepts and Tools 17, 26–39 (1996)
Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)
Bakoglu, H.: Circuits, Interconnections, and Packaging for VLSI. Addison-Wesley, Reading (1990)
Dally, W., Poulton, J.: Digital System Engineering. Cambridge University Press, Cambridge (1998)
Dijkstra, E.: A Discipline of Programming. Prentice Hall Series in Automatic Computation. Prentice Hall, Englewood Cliffs (1976)
Liljeberg, P., Plosila, J., Isoaho, J.: Self-Timed communication platform for implementing high-performance system-on-chip. VLSI Journal of Integration 38(1), 43–67 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plosila, J., Liljeberg, P., Isoaho, J. (2005). Modelling and Refinement of an On-Chip Communication Architecture. In: Lau, KK., Banach, R. (eds) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol 3785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11576280_16
Download citation
DOI: https://doi.org/10.1007/11576280_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29797-0
Online ISBN: 978-3-540-32250-4
eBook Packages: Computer ScienceComputer Science (R0)