{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:27:43Z","timestamp":1752550063536,"version":"3.32.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00133302","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T13:58:24Z","timestamp":1099403904000},"page":"183-212","source":"Crossref","is-referenced-by-count":4,"title":["A CoDesign case study with the MCSE methodology"],"prefix":"10.1007","volume":"1","author":[{"given":"Jean Paul","family":"Calvez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"An annotated bibliography","author":"K. Buchenrieder","year":"1994","unstructured":"K. Buchenrieder. Hardware\/Software CoDesign. An annotated bibliography. It Press Chicago, 1994."},{"key":"CR2","unstructured":"J. P. Calvez and O. Pasquier. A TRANSputer interconnection BUS for real-time systems. In M. Becker et al., editors, TRANSPUTERS'92, Arc-et-Senans, France, pages 273?283. IOS Press."},{"key":"CR3","volume-title":"Embedded Real-Time Systems. A Specification and Design Methodology","author":"J. P. Calvez","year":"1993","unstructured":"J. P. Calvez. Embedded Real-Time Systems. A Specification and Design Methodology. John Wiley & Sons, Chichester, 1993."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"J. P. Calvez and gnO. Pasquier. Performance assessement of embedded Hw\/Sw systems. In Proceedings of the International Conference on Computer Design 95, pages 52?57, Austin, Oct 2?4, 1995.","DOI":"10.1109\/ICCD.1995.528790"},{"key":"CR5","volume-title":"ASICs Specification and Design","author":"J. P. Calvez","year":"1996","unstructured":"J. P. Calvez. ASICs Specification and Design. Chapman & Hall, London, 1996."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. P. Calvez, D. Heller, and P. Bakowski, Functional-level synthesis with VHDL. In EUROVHDL'93, Hamburg, Sept. 20?24, 1993.","DOI":"10.1109\/EURDAC.1993.410691"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J. P. Calvez and D. Isidoro. A CoDesign experience with the MCSE methodology. In Proceedings of Third International Workshop on Hardware\/Software CoDesign, pages 140?147, Grenoble, France, Sept. 22?24, 1994.","DOI":"10.1109\/HSC.1994.336713"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"M. Chiodo, P. Giusto, A. Jurecska, H. C. Hsieh, A. Sangiovanni-Vincentelli, and L. Lavagno. Hardwaresoftware codesign of embedded systems. IEEE Micro, 26?36, August 1994.","DOI":"10.1109\/40.296155"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"P. Chou, E. A. Walkup, and G. Boriello. Scheduling for reactive real-time systems. IEEE Micro, 37?47, August 1994.","DOI":"10.1109\/40.296156"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"M. Edwards and J. Forrest. A development environment for the cosynthesis of embedded software\/hardware systems. In Proceedings of the European Design and Test Conference 1994, pages 466?473, Paris, Feb. 28?March 3, 1994.","DOI":"10.1109\/EDTC.1994.326834"},{"key":"CR11","unstructured":"D. Fermy, B. Rossignol, P. Bakowski, and J. P. Calvez. Tools to design at a functional scheme level using VHDL. In EURO-VHDL'91, Stockholm, Sept. 1991."},{"key":"CR12","volume-title":"Specification and Design of Embedded Systems","author":"D. P. Gajski","year":"1994","unstructured":"D. P. Gajski, F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice Hall, Englewood Cliffs, NJ, 1994."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"R. K. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design & Test of Computers, 29?41, Sept. 1993.","DOI":"10.1109\/54.232470"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"R. K. Gupta, C. N. Coelho, and G. De Micheli. Program implementation schemes for hardware-software systems. IEEE Computer, 48?55, Jan. 1994.","DOI":"10.1109\/2.248880"},{"key":"CR15","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":"CR16","doi-asserted-by":"crossref","unstructured":"D. E. Thomas, J. K. Adams, and H. Schmit. A model and methodology for hardware-software codesign. IEEE Design & Test of Computers, 6?15, Sept. 1993.","DOI":"10.1109\/54.232468"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"A. S. Wenban, J. W. O'Leary, and G. M. Brown. Codesign of communication protocols. Computer, 46?52, Dec. 1993.","DOI":"10.1109\/2.247651"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133302.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00133302\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T15:16:09Z","timestamp":1734621369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00133302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00133302"],"URL":"https:\/\/doi.org\/10.1007\/bf00133302","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}