Abstract
The main concern of the research project ASAR is to build a multi-formalism framework oriented towards Architectural Synthesis. This paper describes the Centaur system, used to build this framework, and the common intermediate data-flow format GC, that will be the common denominator of the different formalisms and tools available in that framework.
P. Asar is a generic name for the ASAR project members, namely, P. Aubry (IRISA), M. Auguin (I3S), M. Belhadj (IRISA), J. Benzakki (LaMI), T. Bouguerba (LaMI), C. Carrière (I3S), G. Durrieu (CERT-Onera), Th. Gautier (IRISAINRIA), M. Israël (LaMI), P. Le Guernic (IRISA-INRIA), M. Lemaître (CERT-Onera), E. Martin (LASTI), P. Quinton (IRISA-CNRS), L. Rideau (INRIA-Sophia), F. Rousseau (LaMI), O. Sentieys (LASTI).
Correspondence should be sent to Michel Israël
Chapter PDF
Similar content being viewed by others
Keywords
References
IEEE Standard VHDL Language Reference Manual. IEEE, 1987. IEEE Std 1076–1987.
P. ASAR. Towards a Multi-formalism Framework for Architectural Synthesis: the ASAR Project. In Third International Workshop on Hardware/Software Codesign, Grenoble, France, IEEE Computer Society Press, September 1994, 25–32.
P. Aubry and S. Machard. Représentation graphique d’arbres sous X11R5: Implémentation générique orientée objet, Applications. IRISA, Rennes, to appear.
P. Borras, D. Clément, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proc. of ACM SIGSOFT ‘88: Third Symposium on Software Development Environments,Boston, November 1988. (Also as INRIA research report number 777).
D. Clément, A distributed architecture for programming environments. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, Edited by R. N. Taylor, Irvine, California, December 1990, 11–21.
D. Clément, F. Montagnac, and V. Prunet, Integrated Software Components: a Paradigm for Control Integration. In Proceedings of the European Symposium on Software Development Environments and Case Technology, Konigswinter, Germany, June 1991.
G. Durrieu and M. Lemaitre. Design by transformation of synchronous descriptions. In 3rd International Workshop on Algorithms and Parallel VLSI Architectures, Leuven, Belgium, August 1994.
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79 (9): 1305–1320, September 1991.
M. Israél and J. Benzakki. Osys: synthesis tool and hardware/software codesign. In IFIP Codes/cashes93, IFIP, Austria, May 1993.
I. Jacobs and J. Bertot, Sophtalk tutorials. INRIA Rapport Technique no 149, Feb. 1993.
I. Jacobs, F. Montagnac, J. Bertot, D. Clément, and V. Prunet, The Sophtalk Reference Manual. INRIA Rapport Technique no 150, Feb. 1993.
P. Le Guernic, Th. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79 (9): 1321–1336, September 1991.
H. Le Verge, C. Mauras, and P. Quinton. The ALPHA language and its use for the design of systolic arrays. In Journal of VLSI Signal Processing, 3:173–182, 1991.
E. Martin, O. Sentieys, H. Dubois, and J.L. Philippe. An architectural synthesis tool for dedicated signal processors. In EURO-DAC 93, 1993.
J.-P. Paris, G. Berry, F. Mignard, Ph. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, Th. Gautier, P. Le Guernic, F. Dupont, and C. Le Maire. Projet SYNCHRONE - Les formats communs des langages synchrones. Technical Report 157, INRIA, June 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Asar, P. (1995). Framework and Multi-Formalism: the ASAR Project. In: Rammig, F.J., Wagner, F.R. (eds) Electronic Design Automation Frameworks. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34880-3_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-34880-3_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5106-2
Online ISBN: 978-0-387-34880-3
eBook Packages: Springer Book Archive