System level design paradigms: Platform-Based design and communication synthesis

ACM Transactions on Design Automation of Electronic Systems

Volumn 11, Issue 3, 2006, Pages 537-563

  Pinto, Alessandro ^a   Bonivento, Alvise ^a   Sangiovanni Vincentelli, Alberto L ^a   Passerone, Roberto ^b   Sgroi, Marco ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF TRENTO   (Italy)

^c DOCOMO EURO LABS   (Germany)

Author keywords

Communication synthesis; Embedded systems; Platform based design

Indexed keywords

EID: 33748419494     PISSN: 10844309     EISSN: 10844309     Source Type: Journal    
DOI: 10.1145/1142980.1142982     Document Type: Article

References (51)

1. AHONEN, T., SIGUENZA-TORTOSA, D. A., BIN, H., AND NURMI, J. 2004. Topology optimization for application-specific networks-on-chip. In Proceedings of the 2004 International Workshop on System Level Interconnect Prediction. ACM Press, New York, 53-60.
2. BAKSHI, A. AND PRASANNA, V. 2004. Algorithm design and synthesis for wireless sensor networks. In Proceedings of the International Conference on Parallel Processing.
3. BALARIN, F., LAVAGNO, L., PASSERONE, C., SANGIOVANNI-VINCENTELLI, A. L., SGROI, M., AND WATANABE, Y. 2002. Modeling and designing heterogeneous systems. In Concurrency and Hardware Design, Advances in Petri Nets. Springer Verlag, London, 228-273.
4. BENINI, L. AND MICHELI, G. D. 2002. Networks on chips: A new SOC paradigm. Computer 35, 1, 70-78.
5. BEHTOZZI, D. AND BENINI, L. 2004. Xpipes: A network-on-chip architecture for gigascale systems-on-chip. IEEE Circuits Syst. 4, 2, 18-31.
6. BERTOZZI, D., JALABERT, A., MURALI, S., TAMHANKAR, R., STERGIOU, S., BENINI, L., AND MICHELI, G. D. 2005. NOC synthesis flow for customized domain specific multiprocessor systems-on-chip. IEEE Trans. Parallel Distrib. Syst. 16, 2, 113-129.
7. BONIVENTO, A., CARLONI, L., AND SANGIOVANNI-VINCENTELLI, A. 2005. Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks. In Proceedings of the 5th ACM International Conference on Embedded Software. Jersey City, NJ.
8. BONIVENTO, A., CARLONI, L., AND SANGIOVANNI-VINCENTELLI, A. 2006. Platform based design for wireless sensor networks. To appear in MONET.
9. BONIVENTO, A., FISCHIONE, C., AND SANGIOVANNI-VINCENTELLI, A. 2006. Randomized protocol stack for ubiquitous networks in indoor environment. In Proceedings of the IEEE Consumer Communications and Networking Conference. Las Vegas, NV.
10. BONIVENTO, A., FISCHIONE, C., SANGIOVANNI-VINCENTELLI, A., GRAZIOSI, F., AND SANTUCCI, F. 2005. Seran: A semi random protocol solution for clustered wireless sensor networks. In Proceedings of the International Conference on Multi-Agent Systems, Washington, DC.
11. CHAKI, S., RAJAMANI, S., AND REHOF, J. 2002. Types as models: Model checking message-passing programs. In Proceedings of the 29th ACM Symposium on the Principles of Programming Languages.
12. CHAKRABARTI, A., DE ALFARO, L., HENZINGER, T. A., JURDZINSKI, M., AND MANG, F. Y. C. 2002. Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer-Aided Verification (CAV). Lecture Notes in Computer Science, vol. 2404. Springer Verlag, 428-441.
13. CHAKRABARTI, A., DE ALFARO, L., HENZINGER, T. A., AND STOELINGA, M. 2003. Resource interfaces. In Proceedings of the 3rd International Conference on Embedded Software. Lecture Notes in Computer Science, vol. 2855. Springer Verlag, New York.
14. CHANG, H., COOKE, L., HUNT, M., MARTIN, G., MCNELLY, A. J., AND TODD, L. 1999. Surviving the SOC Revolution, A Guide to Platform-Based Design, Kluwer Academic Publishers, Norwell, Mass.
15. CHARIKAR, M. AND KARAGIOZOVA, A. 2005. On non-uniform multicommodity buy-at-bulk network design. In STOC '05: Proceedings of the 37th Annual ACM Symposium on Theory of Computing. ACM Press, New York, 176-182.
16. DALLY, W. J. AND TOWLES, B. 2001. Route packets, not wires: On-Chip interconnection networks. In Proceedings of the Design Automation Conference, Las Vegas, Nev., 684-689.
17. DE ALFARO, L. AND HENZINGER, T. A. 2001. Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software. Lecture Notes in Computer Science vol. 2211, Springer Verlag, 148-165.
18. ERNST, R., HENKEL, J., AND BENNER, T. 1993. Hardware-software cosynthesis for microcontrollers. IEEE Des. Test 10, 4, 64-75.
19. FERRARI, A. AND SANOIOVANNI-VINCENTELLI, A. L. 1999. System design: Traditional concepts and new paradigms. In Proceedings of the 1999 IEEE International Conference on Computer Design. IEEE Computer Society, Washington, DC.
20. GAJSKI, D., VAHID, F., NARAYAN, S., AND GONG, J. 1998. Specsyn: An environment supporting the specify-explorerefine paradigm for hardware/software system design. IEEE Trans. VLSI 6, 1, 84-100.
21. GAREY, M. AND JOHNSON, D. 1979. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman and Company.
22. GASTEIER, M. AND GLESNER, M. 1998. Generation of interconnect topologies for communication synthesis. In DATE '98: Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society, Washington, DC, 36-43.
23. GUPTA, R. K. AND MICHELLI, G. D. 1993. Hardware-software cosynthesis for digital systems. IEEE Des. Test Comput. (Sept.), 29-41.
24. HU, J., DENG, Y., AND MARCULESCU, R. 2002. System-Level point-to-point communication synthesis using floorplanning information. In Proceedings of the Asia South Pacific Design Automation I VLSI Design Conference.
25. Hu, J. AND MARCULESCU, R. 2003. Energy-Aware mapping for tile-based NOC architectures under performance constraints. In Proceedings of the Asia and South Pacific Design Automation Conference.
26. HU, J. AND MARCULESCU, R. 2004. Dyad: Smart routing for networks-on-chip. In Proceedings of the 41st Annual Conference on Design Automation. ACM Press, New York, 260-263.
27. LAHIRI, K., RAGHUNANTHAN, A., LAKSHMINARAYANA, G., AND DEY, S. 2004. Design of high-performance system-on-chips using communication architecutre tuners. IEEE Trans. CAD 23, 5, 620-636.
28. Li, Y. AND WOLF, W. 1998. Hardware/Software co-synthesis with memory hierarchies. In ICCAD '98: Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design. ACM Press, New York, 430-436.
29. MURALI, S. AND MICHELI, G. D. 2004. Sunmap: A tool for automatic topology selection and generation for NOCS. In Proceedings of the 41st Annual Conference on Design Automation. ACM Press, New York, 914-919.
30. ORTEGA, R. B. AND BORRIELLO, G. 1998. Communication synthesis for distributed embedded systems. In ICCAD '98: Proceedings of the 1998 IEEE I ACM International Conference on Computer-Aided Design. ACM Press, New York, 437-444.
31. PASSERONE, R. 2004. Semantic foundations for heterogeneous systems. Ph.D. thesis, University of California, Berkeley.
32. PASSERONE, R., DE ALFARO, L., HENZINGER, T. A., AND SANGIOVANNI- VINCENTELLI, A. L. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design.
33. PASSERONE, R., ROWSON, J. A., AND SANGIOVANNI-VINCENTELLI, A. L. 1998. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, San Francisco, Calif.
34. PINTO, A., CARLONI, L. P., AND SANGIOVANNI-VINCENTELLI, A. L. 2002. Constraint-Driven communication synthesis. In DAC '02: Proceedings of the 39th Conference on Design Automation. ACM Press, New York, 783-788.
35. PINTO, A., CARLONI, L. P., AND SANGIOVANNI-VINCENTELLI, A. L. 2003. Efficient synthesis of networks on chip. In Proceedings of the 21st International Conference on Computer Design, 5.
36. POLASTRE, J., HUI, J., LEVIS, P., ZHAO, J., D. CULLER, S. S., AND STOICA, I. 2005. A unified link abstraction for wireless sensor networks. In Proceedings of the 3rd International Conference Embedded Networked Sensor Systems.
37. PRAKASH, S. AND PARKER, A. C. 1992. Synthesis of application-specific heterogeneous multiprocessor systems (abstract). In Proceedings of the 19th Annual International Symposium on Computer Architecture. ACM Press, New York, 434.
38. RHODES, D. L. AND WOLF, W. 1999. Co-Synthesis of heterogeneous multiprocessor systems using arbitrated communication. In Proceedings of the 1999 IEEE / ACM International Conference on Computer-Aided Design. IEEE Press, Piscataway, NJ, 339-342.
39. ROWSON, J. A. AND SANGIOVANNI-VINCENTELLI, A. 1997a. Interface-Based design. In Proceedings of the Design Automation Conference.
40. ROWSON, J. A. AND SANGIOVANNI-VINCENTELLI, A. L. 1997b. Interface-Based design. In Proceedings of the 34th Design Automation Conference, 178-183.
41. SGROI, M., SHEETS, M., MIHAL, A., KEUTZER, K., MALIK, S., RABAEY, J., AND SANGIOVANNI-VINCENTELLI, A. 2001. Addressing the system-on-a-chip interconnect woes through communication-based design. In Proceedings of the Design Automation Conference.
42. SGROI, M., WOLISZ, A., SANGIOVANNI-VINCENTELLI, A., AND RABAEY, J. 2004. A service-based universal application interface for ad-hoc wireless sensor networks. In Whitepaper, U.C. Berkeley.
43. SHIMIZU, K. AND DILL, D. L. 2002. Deriving a simulation input generator and a coverage metric from a formal specification. In Proceedings of the Design Automation Conference. New Orleans, La.
44. SRINIVASAN, K., CHATHA, K. S., AND KONJEVOD, G. 2004. Linear programming based techniques for synthesis of network-on-chip architectures. In Proceedings of the IEEE International Conference on Computer Design, 422-429.
45. VAZIRANI, V. 2003. Approximation Algorithms. Springer Verlag, Berlin.
46. VINCENTELLI, A. S. 2002. Defining platform-based design. EEDesign of EETimes.
47. WANG, H., PEH, L.-S., AND MALIK, S. 2005. A technology-aware and energy-oriented topology exploration for on-chip networks. In Proceedings of the Design Automation and Test in Europe Conference, 1238-1243.
48. WANG, H.-S., ZHU, X., PEH, L.-S., AND MALIK, S. 2002. Orion: A power-performance simulator for interconnection networks. In Proceedings of the 35th Annual ACM/IEEE International Symposium on Microarchitecture. IEEE Computer Society Press, Los Alamitos, Calif., 294-305.
49. WYNANTS, C. 2001. Network Synthesis Problems. Kluwer Academic, Hingham, Mass.
50. YEN, T.-Y. AND WOLF, W. 1995. Communication synthesis for distributed embedded systems. In ICCAD '95: Proceedings of the 1995 IEEE I ACM International Conference on Computer-Aided Design. IEEE Computer Society, Washington, DC, 288-294.
51. Yu, Y., HONG, B., AND PRASANNA, V. 2005. Communication models for algorithm design in wireless sensor networks. In Proceedings of the IEEE International Parallel and Distributed Processing, Symposium.