{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T00:01:49Z","timestamp":1752537709227,"version":"3.41.2"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"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":[[1998,6]]},"DOI":"10.1023\/a:1008890323570","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:51:56Z","timestamp":1040557916000},"page":"149-161","source":"Crossref","is-referenced-by-count":2,"title":["Rapid-Prototyping of Embedded Systems via Reprogrammable Devices"],"prefix":"10.1007","volume":"3","author":[{"given":"Stefano","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"Chiodo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giusto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila","family":"Jurecska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Sanso\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"187872_CR1","doi-asserted-by":"crossref","unstructured":"F. Balarin, E. Sentovich, M. Chiodo, P. Giusto, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, and A. Sangiovanni-Vincentelli, Hardware-Software Co-design of Embedded Systems\u2014The POLIS Approach, Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"187872_CR2","unstructured":"J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt, \u201cPtolemy: A framework for simulating and prototyping heterogeneous systems,\u201d International Journal of Computer Simulation, special issue on Simulation Software Development, January 1990."},{"key":"187872_CR3","doi-asserted-by":"crossref","unstructured":"M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli, \u201cSynthesis of software programs from CFSM specifications,\u201d in Proceedings of the Design Automation Conference, June 1995.","DOI":"10.1145\/217474.217594"},{"key":"187872_CR4","doi-asserted-by":"crossref","unstructured":"P. Chou, E.Walkup, and G. Borriello, \u201cScheduling for reactive real-time systems,\u201d IEEE Micro, August 1994.","DOI":"10.1109\/40.296156"},{"issue":"3","key":"187872_CR5","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, \u201cHardware-software codesign for micro-controllers,\u201d IEEE Design and Test of Computers, 10(3): 64\u201375, September 1993.","journal-title":"IEEE Design and Test of Computers"},{"key":"187872_CR6","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"187872_CR7","unstructured":"T.B. Ismail, M. Abid, and A.A. Jerraya, \u201cCOSMOS: A codesign approach for communicating systems,\u201d in Proceedings of the International Workshop on Hardware-Software Codesign, 1994."},{"issue":"3","key":"187872_CR8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"A. Kalavade and E.A. Lee, \u201cA hardware-software codesign methodology for DSP applications,\u201d IEEE Design and Test of Computers, 10(3): 16\u201328, September 1993.","journal-title":"IEEE Design and Test of Computers"},{"key":"187872_CR9","unstructured":"R. Klein and S. Leef, \u201cNew technology links hardware and software simulators,\u201d Electronic Engineering Times, June 1996."},{"key":"187872_CR10","unstructured":"G. Koch, U. Kebschull, and W. Rosenstiel, \u201cA prototyping environment for hardware\/software codesign in the COBRA project,\u201d in Proceedings of the International Workshop on Hardware-Software Codesign, 1994."},{"key":"187872_CR11","doi-asserted-by":"crossref","unstructured":"C. Passerone, L. Lavagno, M. Chiodo, and A. Sangiovanni-Vincentelli, \u201cFast hardware\/software co-simulation for virtual prototyping and trade-off analysis,\u201d in Proceedings of the Design Automation Conference, June 1997.","DOI":"10.1145\/266021.266177"},{"key":"187872_CR12","unstructured":"M. Potkonjak, S. Dey, and K. Wakabayashi, \u201cDesign-for-debugging of application specific designs,\u201d in Proceedings of the International Conference on Computer-Aided Design, November 1995."},{"key":"187872_CR13","doi-asserted-by":"crossref","unstructured":"J. Rowson, \u201cHardware\/software co-simulation,\u201d in Proceedings of the Design Automation Conference, pp. 439\u2013440, 1994.","DOI":"10.1145\/196244.196458"},{"key":"187872_CR14","series-title":"Technical Report","volume-title":"SIS: A system for sequential circuit synthesis","author":"E.M. Sentovich","year":"1992","unstructured":"E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, and A. Sangiovanni-Vincentelli, \u201cSIS: A system for sequential circuit synthesis,\u201d Technical Report UCB\/ERL M92\/41, U.C. Berkeley, May 1992."},{"key":"187872_CR15","first-page":"428","volume-title":"Proceedings of CAV'96: 8th International Conference on Computer-Aided Verification, New Brunswick, NJ, USA, 31 July\u20133 August 1996","author":"R.K. Brayton","year":"1996","unstructured":"R.K. Brayton, G.D. Hachtel, A. Sangiovanni-Vincentelli, F. Somenzi, and others, \u201c VIS: a system for verification and synthesis,\u201d in Proceedings of CAV'96: 8th International Conference on Computer-Aided Verification, New Brunswick, NJ, USA, 31 July\u20133 August 1996. Springer-Verlag, Berlin, Germany, 1996, pp. 428\u2013432."},{"key":"187872_CR16","unstructured":"H.P.E. Vranken, M.P.J. Stevens, and M.T.M. Segers, \u201cDesign-for-debug in hardware\/software co-design,\u201d in Proceedings of the International Workshop on Hardware-Software Codesign, March 1997."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008890323570.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008890323570\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008890323570.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:28:41Z","timestamp":1752460121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008890323570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":16,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["187872"],"URL":"https:\/\/doi.org\/10.1023\/a:1008890323570","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}