Abstract
Avon is a dataflow graph language which insists single-assignment side-effect free paradigm. While it is an asynchronous system, the synchronicity is achieved by explicit events, thus allowing a sub-system to have local sychronization, while being globally asynchronous. A powerful facility in Avon is line filters where a predicate can be associated with input as well as output ports. These filters can screen values from the streams either at the source or at the sink.
We demonstrate that a small subset of Avon allows us to describe a computer architecture of substantial complexity in a natural and intuitive setting.
Chapter PDF
Similar content being viewed by others
Keywords
References
W. B. Ackerman, Dataflow Languages, IEEE Computer, Feb, 1982.
A. Deb, Data Flow Languages, In Encyclopedia of Library and Information Science, Vol. 66, Marcel Dekker, 2000.
M. Broy, Ed., Control Flow and Data Flow-concepts of Distributed Programming, Springer-Verlag, vol. 14, 1985.
E. A. Ashcroft et. al., Lucid-A formal system for writing and proving programs, SIAM J. Comp., 5, pp. 519–526.
E.A. Ashcroft and W. W. Wadge, Lucid, the Dataflow Programming Language, Academic Press, 1985.
R. S. Nikhil, The Parallel Programming Language Id and its Compilation for Parallel Machines, In Proc. of the Workshop on Massive Parallelism: Hardware, Programming and Applications, Academic Press, 1990.
J. R. McGraw, et. al., SISAL: Streams and Iteration in a Single Assignment Language, Reference Manual 1.2, M-146, Lawrence Livermore National Laboratory, Livermore, CA, March 1985.
A. Deb, Avon: A Dataflow Language, In Second International Conference on Supercomputing, Florida, USA, pp. 9–19, International Supercomputing Institute, 1987.
A. L. Davis and R. M. Keller, Data Flow Program Graphs, IEEE Computer, pp. 26–41, Feb. 1982.
Lipsch R. et al, VHDL: Hardware Description & Design, Kluwer, 1989.
S. Johnson, Synthesis of Digital Design from Recursive Equations, MIT Press, 1983.
L. Cardelli, An Algebraic Approach to Hardware Description and Verification, Ph.D dissertation, Univ. of Edinburgh, 1982.
Arvind end Shen, Using Term Rewriting Systems to Design and Verify Processors, IEEE Micro, pp. 36–46, June 1999.
Kahn, G. The semantics of a simple language for parallel programming, In Information Processing 74, pp. 471–475, North-Holland, 1974.
Lee, E. A. et all, Synchronous Data Flow, In Proc. of IEEE, pp. 55–64, Sept 1987.
Gautier, T. et al, SIGNAL: A declarative language for synchronous programming of real-time systems, In Conference on Functional Programming Languages and Computer Architecture, pp.257–277, LNCS, 274, Springer-Verlag, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Deb, A. (2004). A Dataflow Language (AVON) as an Architecture Description Language (ADL). In: Kleinjohann, B., Gao, G.R., Kopetz, H., Kleinjohann, L., Rettberg, A. (eds) Design Methods and Applications for Distributed Embedded Systems. DIPES 2004. IFIP International Federation for Information Processing, vol 150. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8149-9_29
Download citation
DOI: https://doi.org/10.1007/1-4020-8149-9_29
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8148-4
Online ISBN: 978-1-4020-8149-1
eBook Packages: Springer Book Archive