Formal models for communication-based design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1877 LNCS, Issue , 2000, Pages 29-47

  Sangiovanni Vincentelli, Alberto ^a   Sgroi, Marco ^a   Lavagno, Luciano ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; EMBEDDED SYSTEMS; FORMAL METHODS; LOGIC CIRCUITS;

ABSTRACT MODELS; CO-DESIGNS; COMMUNICATING PROCESS; CONCURRENT PROCESS; ESSENTIAL ELEMENTS; FORMAL MODEL;

EMBEDDED SYSTEMS; DESIGN;

EID: 84885220507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_4     Document Type: Conference Paper

References (9)

1. F. Balarin and al. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, 1997.
2. J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special issue on Simulation Software Development, Jan. 1990.
3. E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12): 1217-29, December 1998.
4. G. Kahn. The semantics of a simple language for parallel programming. In Proceedings IFIP Congress, Aug. 1974.
5. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, Sept. 1987.
6. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice petri nets. In Proceedings of the Design Automation Conference, June 1999.
7. J. Rowson and A. Sangiovanni-Vincentelli. Interface-based design. In Proceedings of the Design Automation Conference, pages 178-183, 1997.
8. R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, pages 8-13, June 1998.
9. M. Sgroi, J. da Silva jr., F. D. Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, and J. Rabaey. Designing Wireless Protocols: Methodology and Applications. In Proceedings of the ICASSP Conference, June 2000.