{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:27Z","timestamp":1774801827903,"version":"3.50.1"},"reference-count":50,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,6,7]],"date-time":"2004-06-07T00:00:00Z","timestamp":1086566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2006,7]]},"abstract":"<jats:p>Embedded system level design must be based on paradigms that make formal foundations and unification a cornerstone of their construction. Platform-Based designs and communication synthesis are important components of the paradigm shift we advocate.Communication synthesis is a fundamental productivity tool in a design methodology where reuse is enforced. Communication design in a reuse methodology starts with a set of functional requirements and constraints on the interaction among components and then proceeds to build protocols, topology, and physical implementations that satisfy requirements and constraints while optimizing appropriate measures of efficiency of the implementation. Maximum efficiency can be reached when the communication specifications are entered at high levels of abstraction and the design process optimizes the implementation from this specification. Unfortunately, this process is very difficult if it is not cast in a rigorous framework. Platform-Based design helps define a successive refinement process where each step can be carried out automatically and optimized appropriately. We present two cases, an on-chip and a wireless sensor network design, where the resulting methodology gave encouraging results.<\/jats:p>","DOI":"10.1145\/1142980.1142982","type":"journal-article","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:14:26Z","timestamp":1153836866000},"page":"537-563","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["System level design paradigms"],"prefix":"10.1145","volume":"11","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA"}]},{"given":"Alvise","family":"Bonivento","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA"}]},{"given":"Allberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}]},{"given":"Marco","family":"Sgroi","sequence":"additional","affiliation":[{"name":"DoCoMo Euro-Labs, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 2004 International Workshop on System Level Interconnect Prediction. ACM Press","author":"Ahonen T.","unstructured":"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. 10.1145\/966747.966758 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. 10.1145\/966747.966758"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the International Conference on Parallel Processing. 10","author":"Bakshi A.","year":"2004","unstructured":"Bakshi , A. and Prasanna , V . 2004. Algorithm design and synthesis for wireless sensor networks . In Proceedings of the International Conference on Parallel Processing. 10 .1109\/ICPP. 2004 .14 Bakshi, A. and Prasanna, V. 2004. Algorithm design and synthesis for wireless sensor networks. In Proceedings of the International Conference on Parallel Processing. 10.1109\/ICPP.2004.14"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"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.   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.","DOI":"10.1007\/3-540-36190-1_7"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.976921"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MCAS.2004.1330747","article-title":"Xpipes: A network-on-chip architecture for gigascale systems-on-chip","volume":"4","author":"Bertozzi D.","year":"2004","unstructured":"Bertozzi , D. and Benini , L. 2004 . Xpipes: A network-on-chip architecture for gigascale systems-on-chip . IEEE Circuits Syst. 4 , 2, 18 -- 31 . Bertozzi, D. and Benini, L. 2004. Xpipes: A network-on-chip architecture for gigascale systems-on-chip. IEEE Circuits Syst. 4, 2, 18--31.","journal-title":"IEEE Circuits Syst."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2005.22"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 5th ACM International Conference on Embedded Software","author":"Bonivento A.","unstructured":"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. 10.1145\/1086228.1086262 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. 10.1145\/1086228.1086262"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Bonivento A. Carloni L. and Sangiovanni-Vincentelli A. 2006. Platform based design for wireless sensor networks. To appear in MONET. 10.1007\/s11036-006-7194-1   Bonivento A. Carloni L. and Sangiovanni-Vincentelli A. 2006. Platform based design for wireless sensor networks. To appear in MONET. 10.1007\/s11036-006-7194-1","DOI":"10.1109\/DATE.2006.243975"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the IEEE Consumer Communications and Networking Conference","author":"Bonivento A.","unstructured":"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. 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."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the International Conference on Multi-Agent Systems","author":"Bonivento A.","unstructured":"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. 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."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 29th ACM Symposium on the Principles of Programming Languages. 10","author":"Chaki S.","unstructured":"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. 10 .1145\/503272.503278 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. 10.1145\/503272.503278"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 14th International Conference on Computer-Aided Verification (CAV). Lecture Notes in Computer Science","volume":"2404","author":"Chakrabarti A.","unstructured":"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. 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."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 3rd International Conference on Embedded Software. Lecture Notes in Computer Science","volume":"2855","author":"Chakrabarti A.","unstructured":"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. 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."},{"key":"e_1_2_1_14_1","unstructured":"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.   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."},{"key":"e_1_2_1_15_1","volume-title":"STOC '05: Proceedings of the 37th Annual ACM Symposium on Theory of Computing. ACM Press","author":"Charikar M.","unstructured":"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. 10.1145\/1060590.1060617 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. 10.1145\/1060590.1060617"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the Design Automation Conference. Las Vegas, Nev., 684--689","author":"Dally W. J.","unstructured":"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 . 10.1145\/378239.379048 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. 10.1145\/378239.379048"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 1st International Workshop on Embedded Software. Lecture Notes in Computer Science","volume":"2211","author":"de Alfaro L.","unstructured":"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. 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."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.245964"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 1999 IEEE International Conference on Computer Design. IEEE Computer Society","author":"Ferrari A.","unstructured":"Ferrari , A. and Sangiovanni-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. Ferrari, A. and Sangiovanni-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."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.661251"},{"key":"e_1_2_1_21_1","unstructured":"Garey M. and Johnson D. 1979. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman and Company.   Garey M. and Johnson D. 1979. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman and Company."},{"key":"e_1_2_1_22_1","volume-title":"DATE '98: Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society","author":"Gasteier M.","unstructured":"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. 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."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Gupta R. K. and Michelli G. D. 1993. Hardware-software cosynthesis for digital systems. IEEE Des. Test Comput. (Sept.) 29--41. 10.1109\/54.232470   Gupta R. K. and Michelli G. D. 1993. Hardware-software cosynthesis for digital systems. IEEE Des. Test Comput. (Sept.) 29--41. 10.1109\/54.232470","DOI":"10.1109\/54.232470"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Asia South Pacific Design Automation\/VLSI Design Conference.","author":"Hu J.","unstructured":"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\/VLSI Design Conference. 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\/VLSI Design Conference."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the Asia and South Pacific Design Automation Conference. 10","author":"Hu J.","year":"1977","unstructured":"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. 10 .1145\/11 1977 2.1119818 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. 10.1145\/1119772.1119818"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 41st Annual Conference on Design Automation. ACM Press","author":"Hu J.","unstructured":"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. 10.1145\/996566.996638 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. 10.1145\/996566.996638"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.826585"},{"key":"e_1_2_1_28_1","volume-title":"ICCAD '98: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-Aided Design. ACM Press","author":"Li Y.","unstructured":"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. 10.1145\/288548.289066 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. 10.1145\/288548.289066"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 41st Annual Conference on Design Automation. ACM Press","author":"Murali S.","unstructured":"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. 10.1145\/996566.996809 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. 10.1145\/996566.996809"},{"key":"e_1_2_1_30_1","volume-title":"ICCAD '98: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-Aided Design. ACM Press","author":"Ortega R. B.","unstructured":"Ortega , R. B. and Borriello , G . 1998. Communication synthesis for distributed embedded systems . In ICCAD '98: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-Aided Design. ACM Press , New York, 437--444. 10.1145\/288548.289067 Ortega, R. B. and Borriello, G. 1998. Communication synthesis for distributed embedded systems. In ICCAD '98: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-Aided Design. ACM Press, New York, 437--444. 10.1145\/288548.289067"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design. 10","author":"Passerone R.","unstructured":"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. 10 .1145\/774572.774592 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. 10.1145\/774572.774592"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the Design Automation Conference","author":"Passerone R.","unstructured":"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. 10.1145\/277044.277047 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. 10.1145\/277044.277047"},{"key":"e_1_2_1_34_1","volume-title":"DAC '02: Proceedings of the 39th Conference on Design Automation. ACM Press","author":"Pinto A.","unstructured":"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. 10.1145\/513918.514114 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. 10.1145\/513918.514114"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 21st International Conference on Computer Design, 5.","author":"Pinto A.","unstructured":"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. 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."},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 3rd International Conference Embedded Networked Sensor Systems. 10","author":"Polastre J.","unstructured":"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. 10 .1145\/1098918.1098928 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. 10.1145\/1098918.1098928"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 19th Annual International Symposium on Computer Architecture. ACM Press","author":"Prakash S.","unstructured":"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. 10.1145\/139669.140538 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. 10.1145\/139669.140538"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 1999 IEEE\/ACM International Conference on Computer-Aided Design. IEEE Press","author":"Rhodes D. L.","unstructured":"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. 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."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the Design Automation Conference. 10","author":"Rowson J. A.","unstructured":"Rowson , J. A. and Sangiovanni-Vincentelli , A . 1997a. Interface-Based design . In Proceedings of the Design Automation Conference. 10 .1145\/266021.266060 Rowson, J. A. and Sangiovanni-Vincentelli, A. 1997a. Interface-Based design. In Proceedings of the Design Automation Conference. 10.1145\/266021.266060"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 34th Design Automation Conference, 178--183","author":"Rowson J. A.","unstructured":"Rowson , J. A. and Sangiovanni-Vincentelli , A. L . 1997b. Interface-Based design . In Proceedings of the 34th Design Automation Conference, 178--183 . 10.1145\/266021.266060 Rowson, J. A. and Sangiovanni-Vincentelli, A. L. 1997b. Interface-Based design. In Proceedings of the 34th Design Automation Conference, 178--183. 10.1145\/266021.266060"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the Design Automation Conference. 10","author":"Sgroi M.","unstructured":"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. 10 .1145\/378239.379045 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. 10.1145\/378239.379045"},{"key":"e_1_2_1_42_1","unstructured":"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.  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."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the Design Automation Conference. New Orleans, La. 10","author":"Shimizu K.","unstructured":"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. 10 .1145\/513918.514118 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. 10.1145\/513918.514118"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the IEEE International Conference on Computer Design, 422--429","author":"Srinivasan K.","unstructured":"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 . 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."},{"key":"e_1_2_1_45_1","volume-title":"Approximation Algorithms","author":"Vazirani V.","unstructured":"Vazirani , V. 2003. Approximation Algorithms . Springer Verlag , Berlin . Vazirani, V. 2003. Approximation Algorithms. Springer Verlag, Berlin."},{"key":"e_1_2_1_46_1","unstructured":"Vincentelli A. S. 2002. Defining platform-based design. EEDesign of EETimes.  Vincentelli A. S. 2002. Defining platform-based design. EEDesign of EETimes."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the Design Automation and Test in Europe Conference, 1238--1243","author":"Wang H.","year":"2005","unstructured":"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 . 10.1109\/DATE. 2005 .40 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. 10.1109\/DATE.2005.40"},{"key":"e_1_2_1_48_1","volume-title":"Orion: A power-performance simulator for interconnection networks. In Proceedings of the 35th Annual ACM\/IEEE International Symposium on Microarchitecture","author":"Wang H.-S.","year":"2002","unstructured":"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. 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."},{"key":"e_1_2_1_49_1","volume-title":"Network Synthesis Problems","author":"Wynants C.","unstructured":"Wynants , C. 2001. Network Synthesis Problems . Kluwer Academic , Hingham, Mass . Wynants, C. 2001. Network Synthesis Problems. Kluwer Academic, Hingham, Mass."},{"key":"e_1_2_1_50_1","volume-title":"ICCAD '95: Proceedings of the 1995 IEEE\/ACM International Conference on Computer-Aided Design. IEEE Computer Society","author":"Yen T.-Y.","unstructured":"Yen , T.-Y. and Wolf , W . 1995. Communication synthesis for distributed embedded systems . In ICCAD '95: Proceedings of the 1995 IEEE\/ACM International Conference on Computer-Aided Design. IEEE Computer Society , Washington, DC, 288--294. Yen, T.-Y. and Wolf, W. 1995. Communication synthesis for distributed embedded systems. In ICCAD '95: Proceedings of the 1995 IEEE\/ACM International Conference on Computer-Aided Design. IEEE Computer Society, Washington, DC, 288--294."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the IEEE International Parallel and Distributed Processing, Symposium. 10","author":"Yu Y.","year":"2005","unstructured":"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. 10 .1109\/IPDPS. 2005 .143 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. 10.1109\/IPDPS.2005.143"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1142980.1142982","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1142980.1142982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:16Z","timestamp":1750259176000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1142980.1142982"}},"subtitle":["Platform-based design and communication synthesis"],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1142980.1142982"],"URL":"https:\/\/doi.org\/10.1145\/1142980.1142982","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}