{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T00:02:56Z","timestamp":1752537776387,"version":"3.41.2"},"reference-count":25,"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:1008829719142","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:51:56Z","timestamp":1040557916000},"page":"267-282","source":"Crossref","is-referenced-by-count":5,"title":["Virtual Prototyping For Modular And Flexible Hardware-Software Systems"],"prefix":"10.1007","volume":"2","author":[{"given":"Carlos A.","family":"Valderrama","sequence":"first","affiliation":[]},{"given":"Adel","family":"Changuel","sequence":"additional","affiliation":[]},{"given":"Ahmed A.","family":"Jerraya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"134560_CR1","doi-asserted-by":"crossref","unstructured":"R.K. Gupta, G. De Micheli, \u201cSystem-level Synthesis using Re-programmable Components,\u201d Proc. Third European Conf. Design Automation, IEEE CS Press, pp.2\u20137, 1992.","DOI":"10.1109\/EDAC.1992.205881"},{"key":"134560_CR2","doi-asserted-by":"crossref","unstructured":"D. Gajski, F. Vahid, \u201cSpecification and Design of Embedded Hardware-Software Systems,\u201d IEEE Design & Test of Computers, pp. 53\u201367, Spring 1995.","DOI":"10.1109\/54.350695"},{"key":"134560_CR3","doi-asserted-by":"crossref","unstructured":"T. BenIsmail, A.A. Jerraya, \u201cSynthesis Steps And Design Models For Codesign,\u201d IEEE Computer, pp.44\u201352, February 1995.","DOI":"10.1109\/2.347999"},{"key":"134560_CR4","unstructured":"K. Ten Hagen, H. Meyer, \u201cTimed and Untimed Hardware\/Software Cosimulation: Application and Efficient Implementation,\u201d International Workshop on Hardware-Software Codesign, Cambridge, October 1993."},{"key":"134560_CR5","unstructured":"T. BenIsmail, M. Abid, K. O'Brien, A.A. Jerraya, \u201cAn Approach for Hardware-Software Codesign,\u201d RSP'94,Grenoble, France, June 1994."},{"key":"134560_CR6","doi-asserted-by":"crossref","unstructured":"A. Kalavade, E.A. Lee, \u201cA Hardware-Software Codesign Methodology for DSP Applications,\u201d IEEE Design and Test of Computers, pp.16\u201328, September 1993.","DOI":"10.1109\/54.232469"},{"issue":"N3","key":"134560_CR7","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/54.232468","volume":"10","author":"D.E. Thomas","year":"1993","unstructured":"D.E. Thomas, J.K. Adams, H. Schmit, \u201cA Model and Methodology for Hardware-Software Codesign,\u201d IEEE Design & Test of Computers, Vol. 10,N3, pp.6\u201315, September 1993.","journal-title":"IEEE Design & Test of Computers"},{"key":"134560_CR8","unstructured":"H. Fleukers, J.A. Jess, \u201cESCAPE: A Flexible Design and Simulation Environment,\u201d Proc. of The Synthesis and Simulation Meeting and International Interchange, SASIMI'93, pp.277\u2013288, Oct. 1993."},{"key":"134560_CR9","unstructured":"E.A. Walkup, G. Boriello, \u201cAutomatic Synthesis of Device Drivers for Hardware\/Software Co-design,\u201d International Workshop on Hardware-Software Codesign, Cambridge, October 1993."},{"key":"134560_CR10","doi-asserted-by":"crossref","unstructured":"R.K. Gupta, C.N. Coelho, G. DeMicheli, \u201cSynthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components,\u201d Proc. 29th Design Automation Conf. ACM\/IEEE CS Press, pp. 225\u2013234, 1992.","DOI":"10.1109\/DAC.1992.227832"},{"issue":"N4","key":"134560_CR11","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/54.245964","volume":"10","author":"R. Ernst","year":"1993","unstructured":"R. Ernst, J. Henkel, T. Benner, \u201cHardware-Software Cosynthesis for Microcontrollers,\u201d IEEE Design & Test of Computers, vol. 10,N4, pp.64\u201375, December 1993.","journal-title":"IEEE Design & Test of Computers"},{"key":"134560_CR12","unstructured":"W.M. Loucks, B.J. Doray, D.G. Agnew, \u201cExperiences In Real Time Hardware-Software Cosimulation,\u201d Proc VHDL Int. Users Forum (VIUF), Ottawa, Canada, pp.47\u201357, April 1993."},{"key":"134560_CR13","unstructured":"S. Lee, J.M. Rabaey, \u201cA Hardware Software Cosimulation Environment,\u201d International Workshop on Hardware-Software Codesign, Cambridge, October 1993."},{"key":"134560_CR14","unstructured":"N.L. Rethman, P.A. Wilsey, \u201cRAPID: A Tool For Hardware\/ Software Tradeoff Analysis,\u201d Proc. CHDL'93, Otawa, Canada, April 1993."},{"key":"134560_CR15","unstructured":"P. Camurati, F. Corno, P. Prinetto, C. Bayol, B. Soulas, \u201cSystem-Level Modelling and Verification: a Comprehensive Design Methodology,\u201d Proc. of EDAC-ETC-EuroASIC'94, Paris, February 1994."},{"key":"134560_CR16","doi-asserted-by":"crossref","unstructured":"G. Koch, U. Kebshull, W. Rosenstiel, \u201cA Prototyping Environment for Hardware\/Software Codesign in the COBRA Project,\u201d Proc. Third International Workshop HW\/SW Codesign, Grenoble, France, pp. 10\u201316, Sept. 1994.","DOI":"10.1109\/HSC.1994.336728"},{"key":"134560_CR17","doi-asserted-by":"crossref","unstructured":"D. Becker, R. Singh, S. Tell, \u201cAn Engineering Environment for Hardware\/Software Cosimulation,\u201d Proc. Design Automation Conference ACM, pp.129\u2013134, 1992.","DOI":"10.1109\/DAC.1992.227848"},{"key":"134560_CR18","unstructured":"S.L. Coumeri, D.E. Thomas, \u201cA Simulation Environment For Hardware-Software Codesign,\u201d Proc. ICCD Conf., IEEE CS Press, October 1995."},{"key":"134560_CR19","unstructured":"C. Valderrama, A. Changuel, P.V. Raghavan, M. Abid, T.B. Ismail, A.A. Jerraya, \u201cA unified model for co-simulation and co-synthesis of Mixed Hardware\/Software systems,\u201d The European Design and Test Confrence ED&TC95 Paris, France, March 1995."},{"key":"134560_CR20","unstructured":"K. O'Brien, T.B. Ismail, A.A. Jerraya, \u201cA Flexible Communication Modelling Paradigm for System-level Synthesis,\u201d International Workshop on Hardware-Software Codesign, Cambridge, October 1993."},{"key":"134560_CR21","doi-asserted-by":"crossref","unstructured":"D. Ungar, R.B. Smith, C. Chambers, U. Holzle, \u201cObject, Message, and Performance: How They Coexist in Self,\u201d IEEE Computer, October 1992.","DOI":"10.1109\/2.161280"},{"key":"134560_CR22","doi-asserted-by":"crossref","unstructured":"G.V. Bochmann, \u201cSpecification Languages for Communication Protocols,\u201d Proc. CHDL'93, Ottawa, Canada, April 1993.","DOI":"10.1016\/B978-0-444-81641-2.50035-6"},{"key":"134560_CR23","unstructured":"P. Paulin, J. Frehel, E. Berrebi, C. Liem, J-C Herluison, M. Harrand, \u201cHigh-level Synthesis and Codesign Methods: An Appication to a Video phone Codec,\u201d Invited Paper EuroDAC\/VHDL, Bringhton, September 1995."},{"key":"134560_CR24","unstructured":"\u201cSynopsys VHDL System Simulator Interfaces Manual: C-language Interface,\u201d Synopsys Inc., Version 3.0b, June 1993."},{"key":"134560_CR25","unstructured":"C.A. Valderrama, F. Nacabal, P. Paulin, A.A. Jerraya, \u00aeAutomatic Generation of Interfaces for Distributed C-VHDL Cosimulation of Embedded Systems: an Industrial Experience\u00ae, to appear in RSP'96, 7th IEEE International Workshop on Rapid Systems Prototyping, 19\u201321 June, Thessaloniki, Greece, 1996."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008829719142.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008829719142\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008829719142.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:45:10Z","timestamp":1752461110000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008829719142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":25,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["134560"],"URL":"https:\/\/doi.org\/10.1023\/a:1008829719142","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}