{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T05:03:27Z","timestamp":1746335007203},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/codes-isss.2013.6659003","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T10:52:07Z","timestamp":1385031127000},"page":"1-10","source":"Crossref","is-referenced-by-count":5,"title":["System level synthesis of hardware for DSP applications using pre-characterized function implementations"],"prefix":"10.1109","author":[{"family":"Shuo Li","sequence":"first","affiliation":[]},{"given":"Nasim","family":"Farahini","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Hemani","sequence":"additional","affiliation":[]},{"given":"Kathrin","family":"Rosvall","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Sander","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"118","article-title":"A system-level synthesis approach from formal application models to generic bus-based MPSoCs","author":"gladigau","year":"2010","journal-title":"International Conference on Embedded Computer Systems (SAMOS)"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/DATE.2012.6176632"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1155\/2007\/75947"},{"year":"2012","author":"shami","journal-title":"Dynarnically Reconfigurable Resource Array","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/1176254.1176306"},{"key":"13","first-page":"641","article-title":"Compositional system-level design exploration with planning of high level synthesis","author":"liu","year":"2012","journal-title":"Design Automation and Test in Europe Conference and Exhibition (DATE'04)"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1145\/1168917.1168877"},{"key":"11","first-page":"1","article-title":"Fast prototyping H.264 deblocking filter using ESL tools","author":"damak","year":"2011","journal-title":"The 8th International Multi-Conference on Systems Signals and Devices (SSD)"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1155\/2012\/649057"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/PROC.1987.13876"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/MCD.2004.1364768(410) 20"},{"year":"2011","journal-title":"International Technology Roadmap for Semiconductors","key":"1"},{"key":"10","first-page":"69","article-title":"Bluespec system verilog: Efficient, correct RTL from high level specifications","author":"nikhil","year":"2004","journal-title":"The Second ACM and IEEE International Conference on Formal Methods and Modelsfor Co-Design"},{"year":"0","journal-title":"Operations Research Tools Developped at Google","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/VLSID.2011.54"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/JPROC.2002.805829"},{"key":"4","article-title":"Formal heterogeneous system modeling with systemC","author":"niaki","year":"2012","journal-title":"Forum Specification and Design Languages (FDL)"},{"key":"9","article-title":"TLM driven design and verification methodology","author":"bailey","year":"2010","journal-title":"Cadence Design Systems"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1145\/1950413.1950423"}],"event":{"name":"2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648477\/6658981\/06659003.pdf?arnumber=6659003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:44:19Z","timestamp":1490219059000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6659003\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/codes-isss.2013.6659003","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}