{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:14:06Z","timestamp":1758615246960,"version":"3.44.0"},"publisher-location":"New York, NY","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387722573"},{"type":"electronic","value":"9780387722580"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-0-387-72258-0_12","type":"book-chapter","created":{"date-parts":[[2007,5,4]],"date-time":"2007-05-04T18:08:07Z","timestamp":1178302087000},"page":"135-144","source":"Crossref","is-referenced-by-count":2,"title":["An Interactive Design Environment for C-based High-Level Synthesis"],"prefix":"10.1007","author":[{"given":"Dongwan","family":"Shin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Gerstlauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"D\u00f6mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel D.","family":"Gajski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Accellera C\/C++ Working Group of the Architectural Language Committee. RTL Semantics, Draft Specification. Technical report, Accellera, February 2001. available at http:\/\/www.eda.org\/alc-cwg\/cwg-open.pdf ."},{"key":"12_CR2","unstructured":"R. D\u00f6mer, A. Gerstlauer, and D. Shin. Cycle-accurate RTL modeling with multi-cycled and pipelined components. In Proceedings of International SoC Design Conference, pages 375-378, October 2006."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"D. D. Gajski, N. Dutt, S. Y.-L. Lin, and A. Wu. High Level Synthesis: Introduction to Chip and System Design. Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-1-4615-3636-9"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"D. D. Gajski, J. Zhu, R. D\u00f6mer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, January 2000.","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"12_CR5","volume-title":"Technical Report CECS-TR-03-26, Center for Embedded Computer Systems","author":"A. Gerstlauer","year":"2003","unstructured":"A. Gerstlauer, L. Cai, D. Shin, R. D\u00f6mer, and D. D. Gajski. System-on-Chip component models. Technical Report CECS-TR-03-26, Center for Embedded Computer Systems, University of California, Irvine, August 2003."},{"key":"12_CR6","unstructured":"T. Gr\u00f6tker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, March 2002."},{"key":"12_CR7","unstructured":"S. Gupta. SPARK: High-level synthesis using parallelizing compiler techniques. available at http:\/\/www.cecs.uci.edu\/\u223cspark\/."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"A. A. Jerraya, I.-C. Park, and K. O\u2019Brien. AMICAL: An interactive high level synthesis environment. In Proceedings of the European Design Automation Conference, pages 58-62, February 1993.","DOI":"10.1109\/EDAC.1993.386500"},{"key":"12_CR9","unstructured":"H.-P. Juan, D. D. Gajski, and V. Chaiyakul. Clock-driven performance optimization in interactive behavioral synthesis. In Proceedings of the International Conference on Computer-Aided Design, pages 154-157, November 1996."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"D. Ku and G. D. Micheli. High-level Synthesis of ASICs under Timing and Synchronization Constraints. Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-1-4757-2117-1"},{"key":"12_CR11","unstructured":"B. Landwehr, P. Marwedel, and R. D\u00f6mer. OSCAR: Optimum simultaneous scheduling, allocation and resource binding based on integer programming. In Proceedings of the European Design Automation Conference, February 1994."},{"key":"12_CR12","unstructured":"Catapult C Synthesis, Mentor Graphics Inc. available at http:\/\/www.mentor.com\/."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"L. S\u00e9m\u00e9ria and G. D. Micheli. SpC: Synthesis of pointers in C, application of pointer analysis to the behavioral synthesis from C. In Proceedings of the International Conference on Computer-Aided Design, pages 340-346, November 1998.","DOI":"10.1145\/288548.289051"},{"key":"12_CR14","volume-title":"Technical Report CECS-TR-02-11, Center for Embedded Computer Systems","author":"D. Shin","year":"2002","unstructured":"D. Shin and D. D. Gajski. Scheduling in RTL design methodology. Technical Report CECS-TR-02-11, Center for Embedded Computer Systems, University of California, Irvine, April 2002."},{"key":"12_CR15","unstructured":"Behavioral Compiler, Synopsys Inc. available at http:\/\/www.synopsys.com\/."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"K. Wakabayashi and T. Okamoto. C-based SoC design flow and EDA tools: An ASIC and system vender perspective. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, December 2000.","DOI":"10.1109\/43.898829"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded System Design: Topics, Techniques and Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-72258-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T07:10:16Z","timestamp":1758611416000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-72258-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780387722573","9780387722580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-72258-0_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2007]]}}}