Towards a multi-formalism framework for architectural synthesis: the ASAR project

This paper describes a research project - named ASAR - grouping together six french research teams, oriented towards architectural and system synthesis. A main concern of this project is hardware/software codesign and user interface management.

[1]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[2]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[3]  Patrice Quinton,et al.  Computability of recurrence equations , 1993, Theor. Comput. Sci..

[4]  William A. Wulf,et al.  A framework for hardware/software codesign , 1993, Computer.

[5]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[6]  Gilles Kahn,et al.  Real theorem provers deserve real user-interfaces , 1992, SDE 5.

[7]  R. Acevedo,et al.  Research report , 1967, Revista odontologica de Puerto Rico.

[8]  Rajesh Gupta,et al.  System synthesis via hardware-software co-design , 1992 .

[9]  Mohammed Belhadj.  VHDL & Signal: A Cooperative Approach , 1994 .

[10]  Giovanni De Micheli,et al.  Program implementation schemes for hardware-software systems , 1994, Computer.

[11]  Daniel D. Gajski,et al.  High ― Level Synthesis: Introduction to Chip and System Design , 1992 .

[12]  Wayne H. Wolf,et al.  Codesign from cospecification , 1994, Computer.

[13]  Nicolas Halbwachs,et al.  Data-Flow Synchronous Languages , 1993, REX School/Symposium.

[14]  Patrice Quinton,et al.  The ALPHA language and its use for the design of systolic arrays , 1991, J. VLSI Signal Process..

[15]  William A. Wulf,et al.  Capturing design rationale in concurrent engineering teams , 1993 .

[16]  Olivier Sentieys,et al.  GAUT: An architectural synthesis tool for dedicated signal processors , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[17]  Olivier Sentieys,et al.  VLSI architectural synthesis for an acoustic echo cancellation application , 1993, Proceedings of IEEE Workshop on VLSI Signal Processing.

[18]  Heinrich Theodor Vierhaus,et al.  System-Synthesis using Hardware/Software Codesign , 1993 .

[19]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[20]  G. Durrieu,et al.  Design by Transformation of Synchronous Descriptions , 1995 .

[21]  Dominique Clément.  A distributed architecture for programming environments , 1990 .

[22]  Jörg Henkel,et al.  Hardware-software cosynthesis for microcontrollers , 1993, IEEE Design & Test of Computers.

[23]  Christophe Mauras.  Alpha : un langage equationnel pour la conception et la programmation d'architectures paralleles synchrones , 1989 .

[24]  Nicolas Halbwachs,et al.  Projet SYNCHRONE : les formats communs des langages synchrones , 1993 .