{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T00:10:27Z","timestamp":1736554227548,"version":"3.32.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2006,9,21]],"date-time":"2006-09-21T00:00:00Z","timestamp":1158796800000},"content-version":"vor","delay-in-days":385,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1007\/s10617-006-9585-8","type":"journal-article","created":{"date-parts":[[2006,9,21]],"date-time":"2006-09-21T14:34:52Z","timestamp":1158849292000},"page":"181-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A SystemC-only design methodology and the CINE-IP multimedia platform"],"prefix":"10.1007","volume":"10","author":[{"given":"Guido","family":"Ara\u00fajo","sequence":"first","affiliation":[]},{"given":"Edna","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Elmar","family":"Melcher","sequence":"additional","affiliation":[]},{"given":"Rodolfo","family":"Azevedo","sequence":"additional","affiliation":[]},{"given":"Karina R. G. da","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Prado","sequence":"additional","affiliation":[]},{"given":"Manoel E. de","family":"Lima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,21]]},"reference":[{"key":"9585_CR1","unstructured":"Bhasker, J. A SystemC Primer, Star Galaxy Publishing, 2002."},{"key":"9585_CR2","doi-asserted-by":"crossref","unstructured":"Bergeron, J. Writing Testbenches: Functional Verification of HDL Models. 2nd edn., Kluwer Academic Publishers, 2003.","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"9585_CR3","unstructured":"Chang, H. et al. Surviving the SoC Revolution: A Guide to Platform-based Design. Kluwer Academic Publishers, Massachusetts, 1999."},{"key":"9585_CR4","unstructured":"Drucker, L. Verification Library Speeds Transaction-Based Verification, D&R Industry Articles, EETimes, Feb. 2003."},{"key":"9585_CR5","unstructured":"Ferrandi, F., M. Rendini, and D. Sciuto. Functional Verification for SystemC Descriptions using Constraint Solving, Design, Automation and Test in Europe (DATE\u201902), 704, Paris, March 2002."},{"key":"9585_CR6","unstructured":"IRIS Case tool: Iris suite. http:\/\/www.osellus.com\/, 2005."},{"key":"9585_CR7","unstructured":"Keating, M. and P. Bricaud. Reuse Methodology Manual for System-on-chip Design. Kluwer Academic Publishers, 2002."},{"key":"9585_CR8","unstructured":"Krutchen, P. The Rational Unified Process. Addison-Wesley, 1998."},{"key":"9585_CR9","unstructured":"Lima, M., F. Santos, J. Bione, T. Lins, and E. Barros. ipPROCESS: A Development Process for Soft IP-core with Prototyping in FPGA, Forum on Design Languages (FDL 2005), Swiss, Sept. 2005"},{"key":"9585_CR10","doi-asserted-by":"crossref","unstructured":"Randjic, A., N. Ostapcuk, I.Soldo, P. Markovic, and V. Mujkovic. Complex ASICs Verification With SystemC, 23rd International Conference on Microelectronics, pp. 671\u2013674, 2002.","DOI":"10.1109\/MIEL.2002.1003347"},{"key":"9585_CR11","doi-asserted-by":"crossref","unstructured":"Riccobene, E., P. Scandurra1, A. Rosti, and S. Bocchio. A SoC Design Methodology Involving a UML 2.0 Profile for SystemC, DATE, 2005.","DOI":"10.1145\/1086228.1086254"},{"key":"9585_CR12","unstructured":"Schattkowsky, T. UML 2.0\u2014Overview and Perspectives in SoC Design, DATE, 2005."},{"key":"9585_CR13","unstructured":"McGrath, D. EE Times: Design News Unified Modeling Language gaining traction for SoC design, EETimes On Line, April 2005."},{"key":"9585_CR14","unstructured":"ModelSim, ModelSim Tutorial. Available at: http:\/\/www.model.com\/support\/documentation\/PE\/pdf\/pe_tutor.pdf, 2005."},{"key":"9585_CR15","unstructured":"MPEG4 Document Standard, ISO-IEC, 14496, 2000."},{"key":"9585_CR16","unstructured":"MP3 standard, ISO\/IEC 11172\u20133, 1993."},{"key":"9585_CR17","unstructured":"Nguyen, K.D., Z. Sun, P.S. Thiagarajan, and W. Wong. Model-driven SoC via Executable UML to SystemC, 25th IEEE Real-Time Systems Symposium (RTSS), 2004."},{"key":"9585_CR18","unstructured":"OCP-IP: Open Core Protocol International Partnership, 2006. Available at: http:\/\/www.ocpip.org."},{"key":"9585_CR19","unstructured":"The Open SystemC Initiative, 2006. See http:\/\/www.systemc.org."},{"key":"9585_CR20","unstructured":"80C51 8-bit Microcontroller Family Datasheet, Philips Semiconductor, Jan. 2002."},{"key":"9585_CR21","unstructured":"Rashinkar, P., P. Paterson, L. Singh. System-on-a-chip Verification: Methodology & Techniques. Kluwer Academic Publishers, Feb. 2001."},{"key":"9585_CR22","unstructured":"Regimbal at all, Automating Functional Coverage Analysis Based On An Executable Specification. In Proc. of the International Workshop on System-on-Chip for Real-Time Applications, Calgary, June 2003."},{"key":"9585_CR23","doi-asserted-by":"crossref","unstructured":"da Silva, K.R.G., E.U.K. Melcher, V.A. Pimenta, and G. Araujo. An Automatic Testbench Generation Tool for a SystemC Functional Verification Methodology, SBCCI, pp. 66\u201370, 2004.","DOI":"10.1145\/1016568.1016592"},{"key":"9585_CR24","unstructured":"Software Process Engineering Metamodel\u2014SPEM, version 1.0, Object Management Group. Available at: http:\/\/www.omg.org, 2006."},{"key":"9585_CR25","unstructured":"SystemVerilog Language Reference Manual Version 3.1. Available at: http:\/\/www.systemverilog.org, 2006."},{"key":"9585_CR26","unstructured":"U2 Partners, OMG RFPs ad\/00-90-01 and ad\/00-09-02, Unified Modeling Language 2.0, Version 0.671, 2002."},{"key":"9585_CR27","doi-asserted-by":"crossref","unstructured":"Wagner, I., V. Bertacco, and T. Austin. StressTest: An Automatic Approach to Test Generation Via Activity Monitors, Design Automation Conference, 2005.","DOI":"10.1109\/DAC.2005.193922"},{"key":"9585_CR28","unstructured":"Verisity, A promising approach to overcome the verification gap of modern SoC designs, 2006. Available at: http:\/\/www.verisity.com\/resources\/whitepaper\/soc_nec.html."},{"key":"9585_CR29","unstructured":"VSIA: Virtual Socket Interface Alliance, 1997. Available at: http:\/\/www.vsia.org."},{"key":"9585_CR30","unstructured":"eXtreme Programming, 2005. Available at: http:\/\/www.extremeprogramming.org, 2006."},{"key":"9585_CR31","doi-asserted-by":"crossref","unstructured":"Damasevicius, R. and V. Stuikys. Application of UML for hardware design based on design process model, 2004 conference on Asia South Pacific design automation, ASAP 2004, pp. 244\u2013249, 2004","DOI":"10.1109\/ASPDAC.2004.1337574"},{"key":"9585_CR32","unstructured":"IP Process website, 2005: Available at: http:\/\/www.brazilip.org.br\/ipprocess, 2005."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9585-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10617-006-9585-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10617-006-9585-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9585-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T23:16:29Z","timestamp":1736550989000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10617-006-9585-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,9]]}},"alternative-id":["9585"],"URL":"https:\/\/doi.org\/10.1007\/s10617-006-9585-8","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"5 February 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 June 2006","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2006","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2006","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}