{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:31:56Z","timestamp":1761323516375,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2007,8,17]],"date-time":"2007-08-17T00:00:00Z","timestamp":1187308800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Laboratory Sytem Program","award":["M1-0104-00-0015"],"award-info":[{"award-number":["M1-0104-00-0015"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2007,8,17]]},"abstract":"<jats:p>Existent hardware-software (HW-SW) codesign tools mainly focus on HW-SW cosimulation to build a virtual prototyping environment that enables software design and system verification without need of making a hardware prototype. Not only HW-SW cosimulation, but also HW-SW codesign methodology involves system specification, functional simulation, design-space exploration, and hardware-software cosynthesis. The PeaCE codesign environment is the first full-fledged HW-SW codesign environment that provides seamless codesign flow from functional simulation to system synthesis. Targeting for multimedia applications with real-time constraints, PeaCE specifies the system behavior with a heterogeneous composition of three models of computation and utilizes features of the formal models maximally during the whole design process. It is also a reconfigurable framework in the sense that third-party design tools can be integrated to build a customized tool chain. Experiments with industry-strength examples prove the viability of the proposed technique.<\/jats:p>","DOI":"10.1145\/1255456.1255461","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T13:44:55Z","timestamp":1189777495000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":69,"title":["PeaCE"],"prefix":"10.1145","volume":"12","author":[{"given":"Soonhoi","family":"Ha","sequence":"first","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]},{"given":"Sungchan","family":"Kim","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]},{"given":"Choonseung","family":"Lee","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]},{"given":"Youngmin","family":"Yi","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]},{"given":"Seongnam","family":"Kwon","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]},{"given":"Young-Pyo","family":"Joo","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}]}],"member":"320","published-online":{"date-parts":[[2008,5,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Balarin F. Chiodo M. Giusto P. Hsieh H. Jurecska A. Lavagno C. Passerone C. Sangiovanni-Vincentelli A. Sentovich E. Suzuki K. and Tabarra B. 1997a. Hardware-Software Codesign of Embedded Systems: The POLIS Approach. Kluwer Academic Dordrecht The Netherlands.   Balarin F. Chiodo M. Giusto P. Hsieh H. Jurecska A. Lavagno C. Passerone C. Sangiovanni-Vincentelli A. Sentovich E. Suzuki K. and Tabarra B. 1997a. Hardware-Software Codesign of Embedded Systems: The POLIS Approach. Kluwer Academic Dordrecht The Netherlands.","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"volume-title":"Proceedings of the 7th International Workshop on Object-Oriented Real-Time Dependable Systems","author":"Bichler L.","key":"e_1_2_1_3_1","unstructured":"Bichler , L. , Radermacher , A. , and Schurr , A . 2002. Evaluating UML extensions for modeling real-time systems . In Proceedings of the 7th International Workshop on Object-Oriented Real-Time Dependable Systems ( San Diego, CA, Jan.), 271--278. Bichler, L., Radermacher, A., and Schurr, A. 2002. Evaluating UML extensions for modeling real-time systems. In Proceedings of the 7th International Workshop on Object-Oriented Real-Time Dependable Systems (San Diego, CA, Jan.), 271--278."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337511"},{"key":"e_1_2_1_5_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J. T.","year":"1994","unstructured":"Buck , J. T. , Ha , S. , Lee , E. A. , and Messerschmitt , D. G. 1994 . Ptolemy: A framework for simulating and prototyping heterogeneous systems . Int. J. Comput. Simul. Special Issue on Simul. Softw. Develop. 4 , 155 -- 182 . Buck, J. T., Ha, S., Lee, E. A., and Messerschmitt, D. G. 1994. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. J. Comput. Simul. Special Issue on Simul. Softw. Develop. 4, 155--182.","journal-title":"Int. J. Comput. Simul. Special Issue on Simul. Softw. Develop."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"e_1_2_1_7_1","unstructured":"Dspace GMBH. 2004. Product information on TargetLink. MTest Autom. Dest.  Dspace GMBH. 2004. Product information on TargetLink. MTest Autom. Dest."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.245964"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Gajski D. Zhu J. Gerstlauer A. Zhao S. and Domer R. 2000. SpecC: Specification Language and Methodology. Kluwer Academic Dordrecht The Netherlands.  Gajski D. Zhu J. Gerstlauer A. Zhao S. and Domer R. 2000. SpecC: Specification Language and Methodology. Kluwer Academic Dordrecht The Netherlands.","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"e_1_2_1_11_1","unstructured":"Grotker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Dordrecht The Netherlands.   Grotker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Dordrecht The Netherlands."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.232470"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2002.807765"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the IFIP Congress 74","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress 74 . North-Holland, Amsterdam, The Netherlands. Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74. North-Holland, Amsterdam, The Netherlands."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2002.801572"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120795"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2004.842912"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.878260"},{"volume-title":"Proceedings of the International SoC Design Conference","author":"Kwon S.","key":"e_1_2_1_23_1","unstructured":"Kwon , S. , Jung , H. , and Ha , S . 2004. H.264 decoder algorithm specification and simulation in Simulink and PeaCE . In Proceedings of the International SoC Design Conference ( Seoul, Korea, Oct.), 9--12. Kwon, S., Jung, H., and Ha, S. 2004. H.264 decoder algorithm specification and simulation in Simulink and PeaCE. In Proceedings of the International SoC Design Conference (Seoul, Korea, Oct.), 9--12."},{"volume-title":"Proceedings of the 6th International Conference on ASIC","author":"Lee C.","key":"e_1_2_1_24_1","unstructured":"Lee , C. and Ha , S . 2005. Hardware-Software cosynthesis of multitask MPSoCs with real-time constraints . In Proceedings of the 6th International Conference on ASIC ( Shanghai, China, Oct.), 919--924. Lee, C. and Ha, S. 2005. Hardware-Software cosynthesis of multitask MPSoCs with real-time constraints. In Proceedings of the 6th International Conference on ASIC (Shanghai, China, Oct.), 919--924."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/566225.513834"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774817"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014070804761"},{"key":"e_1_2_1_29_1","volume-title":"Workshop.","author":"Real-Time","year":"2005","unstructured":"Real-Time Workshop. 2005 . Software package, version. 6.2.1. The Mathworks. Natick, MA. Real-Time Workshop. 2005. Software package, version. 6.2.1. The Mathworks. Natick, MA."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007918220216"},{"volume-title":"Software package, version 6.2.1. The Mathworks","author":"Simulink","key":"e_1_2_1_31_1","unstructured":"Simulink . 2005. Software package, version 6.2.1. The Mathworks . Natick, MA . Simulink. 2005. Software package, version 6.2.1. The Mathworks. Natick, MA."},{"volume-title":"Proceedings of Design, Automation and Test in Europe Conference and Exhibition","author":"Stefanov T.","key":"e_1_2_1_32_1","unstructured":"Stefanov , T. , Zissulescu , C. , Turjan , A. , Kienhuis , B. , and Deprette , E . 2004. System design using Khan process networks: The Compaan\/Laura approach . In Proceedings of Design, Automation and Test in Europe Conference and Exhibition , ( Paris, Feb.), 340--345. Stefanov, T., Zissulescu, C., Turjan, A., Kienhuis, B., and Deprette, E. 2004. System design using Khan process networks: The Compaan\/Laura approach. In Proceedings of Design, Automation and Test in Europe Conference and Exhibition, (Paris, Feb.), 340--345."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00209910"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAEM.0000003963.20442.29"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255456.1255461","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1255456.1255461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:28Z","timestamp":1750278148000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255456.1255461"}},"subtitle":["A hardware-software codesign environment for multimedia embedded systems"],"short-title":[],"issued":{"date-parts":[[2007,8,17]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,8,17]]}},"alternative-id":["10.1145\/1255456.1255461"],"URL":"https:\/\/doi.org\/10.1145\/1255456.1255461","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2007,8,17]]},"assertion":[{"value":"2006-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-05-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}