{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:51:43Z","timestamp":1757451103755},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,1,18]],"date-time":"2015-01-18T00:00:00Z","timestamp":1421539200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s10617-014-9158-1","type":"journal-article","created":{"date-parts":[[2015,1,17]],"date-time":"2015-01-17T04:50:26Z","timestamp":1421470226000},"page":"277-299","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["HDL code generation from UML\/MARTE sequence diagrams for verification and synthesis"],"prefix":"10.1007","volume":"19","author":[{"given":"Emad","family":"Ebeid","sequence":"first","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Quaglia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,18]]},"reference":[{"key":"9158_CR1","unstructured":"Accellera Standard OVL V2 Library Reference Manual (2011) OVL 2.6. http:\/\/www.accellera.org"},{"key":"9158_CR2","doi-asserted-by":"crossref","unstructured":"Alagar VS, Periyasamy K (2011) Extended Finite State Machine. In: Gries D, Schneider FB (eds) Specification of Software Systems. Texts in Computer Science, Springer London, pp 105\u2013128. http:\/\/link.springer.com\/book\/10.1007%2F978-0-85729-277-3","DOI":"10.1007\/978-0-85729-277-3_7"},{"key":"9158_CR3","unstructured":"Atego (2013) Artisan Studio. http:\/\/www.atego.com"},{"key":"9158_CR4","doi-asserted-by":"crossref","first-page":"436,328","DOI":"10.1155\/2010\/436328","volume":"1","author":"N Bombieri","year":"2010","unstructured":"Bombieri N, Di Guglielmo G, Ferrari M, Fummi F, Pravadelli G, Stefanni F, Venturelli A (2010) HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP Journal on Embedded Systems 1:436,328","journal-title":"EURASIP Journal on Embedded Systems"},{"key":"9158_CR5","unstructured":"EDALAB (2012) HIFSuite: Tools and APIs for HDL Code Conversion and Manipulation- version 2012.12. http:\/\/www.hifsuite.com"},{"key":"9158_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware\u2013Software Co-design of embedded systems: the polis approach","author":"F Balarin","year":"1997","unstructured":"Balarin F et al (1997) Hardware\u2013Software Co-design of embedded systems: the polis approach. Kluwer Academic Press, Norwell"},{"issue":"1","key":"9158_CR7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/TVLSI.2005.863187","volume":"14","author":"A Habibi","year":"2006","unstructured":"Habibi A, Tahar S (2006) Design and verification of SystemC Transaction-Level Models. Very Large Scale Integr (VLSI) Syst, IEEE Trans 14(1):57\u201368","journal-title":"Very Large Scale Integr (VLSI) Syst, IEEE Trans"},{"key":"9158_CR8","doi-asserted-by":"crossref","unstructured":"Heng D, Ping G, Xiao-mei Y, Lin-li Z (2010) A research of object constraint language used in PIM accurate modeling. In: International conference on information management and engineering (ICIME), pp 629\u2013632","DOI":"10.1109\/ICIME.2010.5478172"},{"key":"9158_CR9","unstructured":"IBM (2012) IBM Rational. http:\/\/www-01.ibm.com\/software\/rational\/"},{"key":"9158_CR10","doi-asserted-by":"crossref","unstructured":"Manual R (2000) IEEE Standard VHDL Language. IEEE Std 1076\u20132000, pp i\u2013290. doi: 10.1109\/IEEESTD.2000.92297","DOI":"10.1109\/IEEESTD.2000.92297"},{"key":"9158_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/b135980","volume-title":"UML for SoC design","author":"G Martin","year":"2005","unstructured":"Martin G, Muller W (2005) UML for SoC design. Springer, New York"},{"issue":"4","key":"9158_CR12","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MDT.2009.83","volume":"26","author":"G Martin","year":"2009","unstructured":"Martin G, Smith G (2009) High-level synthesis: past, present, and future. Des Test Comput, IEEE 26(4):18\u201325","journal-title":"Des Test Comput, IEEE"},{"key":"9158_CR13","doi-asserted-by":"crossref","unstructured":"McUmber W, Cheng B (1999) UML-based analysis of embedded systems using a mapping to VHDL. In: International symposium on high-assurance systems engineering, 1999, pp. 56\u201363","DOI":"10.1109\/HASE.1999.809475"},{"key":"9158_CR14","doi-asserted-by":"crossref","unstructured":"Moreira T, Wehrmeister M, Pereira C, Petin JF, Levrat E (2010) Automatic code generation for embedded systems: from UML specifications to VHDL code. In: International conference on industrial informatics (INDIN), 2010, pp 1085\u20131090","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"9158_CR15","doi-asserted-by":"crossref","unstructured":"Mueller W, Villar E, Carballeda, M (2010) The SATURN approach to SysML-Based HW\/SW Codesign. In: Computer society annual symposium on VLSI (ISVLSI), 2010, pp 506\u2013511","DOI":"10.1109\/ISVLSI.2010.95"},{"key":"9158_CR16","unstructured":"Nguyen K, Sun Z, Thiagarajan P, Wong WF (2004) Model-driven SoC design via executable UML to SystemC. In: Real-Time systems symposium, pp 459\u2013468"},{"key":"9158_CR17","unstructured":"Object Management Group (2009) OMG Unified Modeling LanguageTM (OMG UML), superstructure(version 2.2). In: OMG document number: formal\/2009-02-02. http:\/\/www.omgmarte.org"},{"key":"9158_CR18","unstructured":"Object Management Group (2011) A UML Profile for MARTE (version 1.1). In: OMG document number: formal\/2011-06-02. http:\/\/www.omgmarte.org"},{"key":"9158_CR19","unstructured":"Object Management Group (2013) Acceleo. http:\/\/www.eclipse.org\/acceleo\/"},{"key":"9158_CR20","doi-asserted-by":"crossref","unstructured":"Riccobene E, Scandurra P, Rosti A, Bocchio S (2005) A SoC design methodology involving a UML 2.0 profile for SystemC. In: Design, Automation and test in Europe, pp 704\u2013709 Vol. 2","DOI":"10.1145\/1086228.1086254"},{"key":"9158_CR21","unstructured":"S\u00e9bastien G\u00e9rard et al. (2012) Papyrus UML, http:\/\/www.papyrusuml.org"},{"key":"9158_CR22","unstructured":"Technical report (2005) Survey of system design trends. Technical report, Electronics Weekly & Celoxica"},{"key":"9158_CR23","unstructured":"Transaction Level Modeling Working Group (2006) OSCI TLM 2.0. http:\/\/www.systemc.org"},{"key":"9158_CR24","volume-title":"UML for electronic systems design: a comprehensive overview","author":"Y Vanderperren","year":"2008","unstructured":"Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview, vol 12. Springer, Berlin"},{"key":"9158_CR25","unstructured":"Xi C, Hua LJ, ZuCheng Z, YaoHui S (2005) Modeling SystemC design in UML and automatic code generation. In: Design automation conference, 2005. Proceedings of the ASP-DAC 2005. Asia and South Pacific, vol 2, pp 932\u2013935"},{"key":"9158_CR26","unstructured":"Yu J, Li T, Tan Q (2006) The use of UML sequence diagram for System-on-Chip system level transaction-based functional verification. in: the sixth world congress on intelligent control and automation, 2006, vol 2, pp 6173\u20136177"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9158-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-014-9158-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9158-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T20:15:37Z","timestamp":1566245737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-014-9158-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,18]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["9158"],"URL":"https:\/\/doi.org\/10.1007\/s10617-014-9158-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,18]]}}}