Introduction

 People

 Research themes:

   Embedded Systems

   Hybrid Systems

   Deep Submicron

   Logic Synthesis

 Other links:

   EE249

   CHESS

   GSRC

   BWRC

Synthesis of Embedded Software  

Yosinori Watanabe, Cadence Berkeley Laboratories
Luciano Lavagno, Cadence Berkeley Laboratories
Marco Sgroi, University of California at Berkeley
Alberto L. Sangiovanni-Vincentelli, University of California at Berkeley

Publications:

C. Passerone, Y. Watanabe, L. Lavagno, Generation of minimal size code for schedule graphs. Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, Munich, Germany, 13-16 March 2001.

J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, A. Sangiovanni-Vincentelli, Task generation and compile-time scheduling for mixed data-control embedded software. Proceedings 2000. Design Automation Conference. Proceedings 2000. Design Automation Conference, Los Angeles, CA, USA, 5-9 June 2000.

M. Sgroi, L. Lavagno, Y. Watanabe, A. Sangiovanni-Vincentelli, Synthesis of Embedded Software Using Free-Choice Petri Nets. Proceedings of Design Automation Conference, DAC '99, New Orleans, USA. 21-25 Jun 1999. 

M. Sgroi, L. Lavagno, Y. Watanabe, A. Sangiovanni-Vincentelli, Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. Proceedings of 20th International Conference on Application and Theory of Petri Nets. ICATPN '99. Williamsburg, Virginia, USA. 21-25 Jun 1999.

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki. Synthesis of Software Programs for Embedded Control Applications. In IEEE transactions on Computer-Aided Design of Integrated Circuits and Systems, June 1999.

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki. Synthesis of Software Programs for Embedded Control Applications. In Proceeding of Design Automation Conference, June 1995. 

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.