{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:36Z","timestamp":1725492696234},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_31","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:58:29Z","timestamp":1192024709000},"page":"356-370","source":"Crossref","is-referenced-by-count":2,"title":["Hardware\/Software Embedded System Specification and Design Using Ada and VHDL1"],"prefix":"10.1007","author":[{"given":"Adrian","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maite","family":"Veiga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Villar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"unstructured":"\u201cInformation Technology, Programming Languages, Ada Reference Manual\u201d, International Standard ISO\/IEC 8652:1995, January, 1995.","key":"31_CR1"},{"unstructured":"D. D. Gajski, F. Vahid, S. Narayan and J. Gong: \u201cSpecification and design of embedded systems\u201d, Prentice-Hall, 1994.","key":"31_CR2"},{"doi-asserted-by":"crossref","unstructured":"F. Rammig: \u201cSystem level design\u201d, in \u201cFundamentals and standards in hardware description languages\u201d, edited by J. Mermet, Kluwer, 1993.","key":"31_CR3","DOI":"10.1007\/978-94-011-1914-6_4"},{"doi-asserted-by":"crossref","unstructured":"R.K. Gupta and G. de Micheli: \u201cHardware-software co-synthesis for digital systems\u201d, IEEE Design and Test of Computers, September, 1993.","key":"31_CR4","DOI":"10.1109\/54.232470"},{"unstructured":"Ernst, R. and Henkel, J.: \u201cHardware-software co-design of embedded controlers based on hardware extraction\u201d, proc. of the IEEE International Workshop on HW\/SW Co-design\u201d, September, 1992. 1992.","key":"31_CR5"},{"doi-asserted-by":"crossref","unstructured":"H. Schwetman: \u201cUsing CSIM to model complex systems\u201d, proc. of the 1988 Winter Simulation Conference, 1988.","key":"31_CR6","DOI":"10.1145\/318123.318197"},{"doi-asserted-by":"crossref","unstructured":"R.K. Gupta and S. Liao: \u201cUsing a programming language for digital system design\u201d, IEEE Design and Test of Computers, April\u2014June, 1997.","key":"31_CR7","DOI":"10.1109\/54.587745"},{"doi-asserted-by":"crossref","unstructured":"R. Helaihel and K. Olukotun: \u201cJava a a specification language for hardware-software systems\u201d, proc. of ICCAD\u201997, IEEE, 1997.","key":"31_CR8","DOI":"10.1109\/ICCAD.1997.643613"},{"unstructured":"P.H.A. van der Putten and J.P.M. Voeten: \u201cSpecification of Reactive hardware\/software systems\u201d, CIP-Data Library Technishe Universiteit Eindhoven, 1997.","key":"31_CR9"},{"unstructured":"E. Casino; P. S\u00e1nchez and E. Villar: \u201cA high-level VHDL simulator\u201d, proc. of Spring VIUF\u201992, May, 1992.","key":"31_CR10"},{"doi-asserted-by":"crossref","unstructured":"W. Nebel, G. Gorla and E. Moser: \u201cJava, VHDL-AMS, Ada or C for system level specifications?\u201d, Proc. of the Design, Automation and Test in Europe Conference 1999, IEEE, 1999.","key":"31_CR11","DOI":"10.1145\/307418.307595"},{"doi-asserted-by":"crossref","unstructured":"E. Villar: \u201cEmbedded system specification\u201d, in \u201cAdvanced techniques for embedded system design and test\u201d, ed. J. C. L\u00f3pez; R. Hermida and W. Geisselhardt, Kluwer, 1998.","key":"31_CR12","DOI":"10.1007\/978-1-4757-4419-4_1"},{"unstructured":"J. P. Calvez: \u201cEmbedded real-time systems: A specification and design methodology\u201d, Wiley, 1993.","key":"31_CR13"},{"unstructured":"A. Burns and A. Wellings: \u201cConcurrency in Ada\u201d, Cambridge University Press, 1995.","key":"31_CR14"},{"doi-asserted-by":"crossref","unstructured":"D.C. Ku and G. de Micheli: \u201cHigh-level synthesis of ASICs under timing and synchronization constraints\u201d, Kluwer, 1992.","key":"31_CR15","DOI":"10.1007\/978-1-4757-2117-1"},{"unstructured":"W. Nebel and G. Schumacher: \u201cObject-Oriented hardware modeling \u2014 Where to apply and what are the objects?\u201d, proc. of EuroDAC\u201996 with EuroVHDL\u201996, IEEE, September, 1996.","key":"31_CR16"},{"unstructured":"Eles, P.; Kuchcinski, K.; Peng, Z. and Minea, M.: \u201cSynthesis of VHDL concurrent processes\u201d, proc. of EuroDAC\u201994 with EuroVHDL\u201994, IEEE, September, 1994.","key":"31_CR17"},{"unstructured":"Walkup, E. and Borriello, G.: \u201cAutomatic synthesis of device drivers for HW\/SW codesign\u201d, \u201cproc. of the IEEE International Workshop on HW\/SW Co-design\u201d, October, 1993.","key":"31_CR18"},{"doi-asserted-by":"crossref","unstructured":"M.H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. Gonzalez Harbour. \u201cA practitioner\u2019s Handbook for Real-Time Analysis\u201d. Kluwer, 1993.","key":"31_CR19","DOI":"10.1007\/978-1-4615-2796-1"},{"doi-asserted-by":"crossref","unstructured":"E. Villar and P. S\u00e1nchez: \u201cSynthesis applications of VHDL\u201d, in \u201cFundamentals and standards in hardware description languages\u201d, edited by J. Mermet, Kluwer, 1993.","key":"31_CR20","DOI":"10.1007\/978-94-011-1914-6"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:59:21Z","timestamp":1556906361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}