Polis: a design environment for control-dominated embedded systems

The following organizations have contributed to the development of the software included in this distribution: University of California, Berkeley, CA Cadence Berkeley Labs of Cadence Design Systems Inc., Berkeley, CA Magneti Marelli, Torino and Pavia, I Politecnico di Torino, Torino, I Hitachi Ltd., Tokyo, JP Daimler Benz GMBH, Berlin, DE Centro Studi e Laboratori di Telecomunicazioni, Torino, I NEC C&C Research Labs, Princeton, NJ

[1]  James A. Rowson,et al.  Hardware / Software Co-Simulation , 2000 .

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  Efficient software performance estimation methods for hardware/software codesign , 1996, DAC '96.

[3]  Joseph T Buck.  Scheduling Dynamic Dataflow Graphs with Bounded Memory , 1993 .

[4]  P. R. Stephan,et al.  SIS : A System for Sequential Circuit Synthesis , 1992 .

[5]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[6]  Elana D. Granston,et al.  A Cache Visualization Tool , 1997, Computer.

[7]  A. O. Fernandes,et al.  Hardware-software codesign of embedded systems , 1998, Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216).

[8]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[9]  Rick Reed,et al.  Telecommunications systems engineering using SDL , 1989 .

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Software timing analysis using HW/SW cosimulation and instruction set simulator , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[11]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[14]  LavagnoLuciano,et al.  Hardware-Software Codesign of Embedded Systems , 1994 .

[15]  Wolfgang A. Halang,et al.  Constructing Predictable Real Time Systems , 1991 .

[16]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[17]  Felice Balarin,et al.  Simplifying data operations for formal verification , 1997 .

[18]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Luciano Lavagno,et al.  A Formal Speci cation Model for Hardware / Software , 1993 .

[20]  Srinivas Devadas,et al.  Computer-Aided Design Techniques for Low Power Sequential Logic Circuits , 1996 .

[21]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..