{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:19:26Z","timestamp":1752549566209,"version":"3.41.2"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"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":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1023\/a:1008843820959","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:51:56Z","timestamp":1040557916000},"page":"359-382","source":"Crossref","is-referenced-by-count":9,"title":["Hardware\/Software Communication and System Integration for Embedded Architectures"],"prefix":"10.1007","volume":"2","author":[{"given":"Steven","family":"Vercauteren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bill","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"134564_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry, P. Couronne, and G. Gonthier. The synchronous approach to reactive and real-time sysems. IEEE Proceedings, 79, September 1991.","DOI":"10.1109\/5.97297"},{"key":"134564_CR2","unstructured":"J. T. Buck et al. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal on Computer Simulation, January 1994."},{"key":"134564_CR3","doi-asserted-by":"crossref","unstructured":"M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A formal methodology for hardware\/software codesign of embedded systems. IEEE Micro, August 1994.","DOI":"10.1109\/40.296155"},{"key":"134564_CR4","doi-asserted-by":"crossref","unstructured":"P. H. Chou, R. B. Ortega, G. Borriello. The Chinook Hardware\/Software Co-Synthesis System, International Symposium on System Synthesis, September 1995.","DOI":"10.1145\/224486.224491"},{"key":"134564_CR5","doi-asserted-by":"crossref","unstructured":"H. De Man, I. Bolsens, B. Lin, K. Van Rompaey, S. Vercauteren, and D. Verkest. Co-design of DSP systems. NATO ASI Hardware\/Software Co-Design, Tremezzo, June 1995.","DOI":"10.1007\/978-94-009-0187-2_4"},{"issue":"4","key":"134564_CR6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/54.245964","volume":"10","author":"R. Ernst","year":"1993","unstructured":"R. Ernst, J. Henkel, and T. Benner. Hardware-software cosynthesis for microcontrollers. IEEE Design and Test of Computers, 10(4):64\u201375, December 1993.","journal-title":"IEEE Design and Test of Computers"},{"key":"134564_CR7","unstructured":"D. Gajski, F. Vahid, S. Narayan, and J. Cong. Specification and Design of Embedded Systems. Prentice-Hall, 1994."},{"key":"134564_CR8","unstructured":"G. Goossens, I. Bolsens, B. Lin, and F. Catthoor. Design of heterogeneous ICs for mobile and personal communication systems. IEEE International Conference on Computer-Aided Design, November 1994."},{"issue":"3","key":"134564_CR9","first-page":"29","volume":"10","author":"R. Gupta","year":"1993","unstructured":"R. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. Computers and Electrical Engineering, 10(3)29\u201341, September 1993.","journal-title":"Computers and Electrical Engineering"},{"key":"134564_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. StateCharts: A visual formalism for complex systems. Science of Computer Programming, (8):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"134564_CR11","unstructured":"P.N. Hilfinger et al. DSP specification using the Silage language. Proceedings International Conference on Acoustics, Speech and Signal Processing, page 1057\u20131060. April 1990."},{"key":"134564_CR12","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"134564_CR13","volume-title":"IEEE\/ANSI Standard 1014, Versatile Backplane Bus: VMEbus","author":"IEEE","year":"1987","unstructured":"IEEE, IEEE\/ANSI Standard 1014, Versatile Backplane Bus: VMEbus, IEEE Service Center, Piscataway, NJ, 1987."},{"key":"134564_CR14","unstructured":"T. B. Ismail, M. Abid, and A. A. Jerraya. Cosmos: A codesign approach for communication systems. Third International Workshop on Hardware\/Software Codesign, September, 1994."},{"issue":"3","key":"134564_CR15","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"A. Kalavade, E. A. Lee. A Hardware\/Software Codesign Methodology for DSP Applications. IEEE Design and Test of Computers, vol. 10,no. 3, pp. 16\u201328, September, 1993.","journal-title":"IEEE Design and Test of Computers"},{"key":"134564_CR16","doi-asserted-by":"crossref","unstructured":"D. Knapp, T. Ly, D. MacMillen, and R. Miller. Behavioral Synthesis Methodology for HDL-Based Specification and Validation. ACM Design Automation Conference, San Francisco, June 1995.","DOI":"10.1109\/DAC.1995.249961"},{"key":"134564_CR17","unstructured":"J. Kessels, K. van Berkel, R. Burgess, M. Roncken, and F. Schalij. A Tangram Program for Error Decoding in the Compact Disc Player. European Conference on Design Automation, 1992."},{"key":"134564_CR18","volume-title":"Code Generation for Embedded Processors","author":"D. Lanneer","year":"1995","unstructured":"D. Lanneer, J. Van Praet, K. Schoofs, W. Geurts, A. Kifli, F. Thoen, and G. Goossens. Chess: retargetable code generation for embedded processors. In P. Marwedel and G. Goossens, editors, Code Generation for Embedded Processors. Kluwer Academic Publishers, Boston, 1995."},{"key":"134564_CR19","doi-asserted-by":"crossref","unstructured":"R. Lauwereins et al. Grape-II: A system level prototyping environment for DSP applications. IEEE Computer, pages 35\u201343, February 1995.","DOI":"10.1109\/2.347998"},{"key":"134564_CR20","doi-asserted-by":"crossref","unstructured":"E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, September 1987.","DOI":"10.1109\/PROC.1987.13876"},{"key":"134564_CR21","doi-asserted-by":"crossref","unstructured":"B. Lin and S. Vercauteren. Synthesis of concurrent system interface modules with automatic protocol conversion generation. In Proceedings of the IEEE International Conference on Computer-Aided Design, ICCAD 94, pages 101\u2013108. San Jos\u00e9, CA, November 1994.","DOI":"10.1109\/ICCAD.1994.629751"},{"key":"134564_CR22","first-page":"67","volume-title":"Code generation for embedded processors","author":"P.G. Paulin","year":"1995","unstructured":"P.G. Paulin, C. Liem, T.C. May, and S. Sutarwala. FlexWare: a flexible firmware development environment for embedded systems. In Code generation for embedded processors, pp. 67\u201384, Kluwer Acad. Publ., Boston, 1995."},{"key":"134564_CR23","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"A. W. Roscoe","year":"1988","unstructured":"A. W. Roscoe, C. A. R. Hoare. Laws of Occam Programming. Theoretical Computer Science, 60, 177\u2013229, 1988.","journal-title":"Theoretical Computer Science"},{"key":"134564_CR24","unstructured":"G. Koch, U. Kebschull, and W. Rosenstiel. A prototyping environment for hardware\/software codesign in the Cobra project. Third International Workshop on Hardware\/Software Codesign, September, 1994."},{"key":"134564_CR25","unstructured":"C. L. Seitz. System Timing. In C. A. Mead and L. A. Conway, editors, Introduction to VLSI Systems, Chapter 7, Addison-Wesley, 1980."},{"key":"134564_CR26","doi-asserted-by":"crossref","unstructured":"M. Srivastava, B. Richards, and R. W. Brodersen. System level hardware moduke generation. IEEE Transactions on VLSI Systems, 3(1), March 1995.","DOI":"10.1109\/92.365451"},{"key":"134564_CR27","doi-asserted-by":"crossref","unstructured":"D. E. Thomas, J. K. Adams, and H. Schmitt. A model and methodology for hardware-software codesign. IEEE Design and Test for Computers, page 6\u201315, September 1993.","DOI":"10.1109\/54.232468"},{"key":"134564_CR28","volume-title":"Handshake circuits: an intermediary between communicating processes and VLSI","author":"K. van Berkel","year":"1992","unstructured":"K. van Berkel. Handshake circuits: an intermediary between communicating processes and VLSI. Ph.D thesis, Philips Research Laboratories, Eindhoven, The Netherlands, 1992."},{"key":"134564_CR29","unstructured":"A. van Someren and C. Atack. The ARM RISC Chip, A programmer's Guide. Addison-Wesley Publishing Company, 1994. ISBN 0 201 40695 0."},{"key":"134564_CR30","unstructured":"C. Ykman, B. Lin, and H. De Man. Assassin: An asynchronous synthesis system for control circuits. User manual and tutorial. IMEC report. 1994."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008843820959.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008843820959\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008843820959.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T03:02:08Z","timestamp":1752462128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008843820959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":30,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["134564"],"URL":"https:\/\/doi.org\/10.1023\/a:1008843820959","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}