{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T05:29:01Z","timestamp":1733290141658,"version":"3.30.1"},"reference-count":28,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Architecture"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1016\/s1383-7621(00)00047-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:53:17Z","timestamp":1027597997000},"page":"225-240","source":"Crossref","is-referenced-by-count":4,"title":["Grammar-based design of embedded systems"],"prefix":"10.1016","volume":"47","author":[{"given":"Johnny","family":"\u00d6berg","sequence":"first","affiliation":[]},{"given":"Mattias","family":"O'Nils","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Jantsch","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Postula","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Hemani","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1986","author":"Aho","key":"10.1016\/S1383-7621(00)00047-3_BIB1"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB2","unstructured":"A. Bharati, V. Chaitanya, R. Sangal, Natural Language Processing \u2013 A Paninian Perspective, Prentice-Hall, India, 1995, ISBN 81-203-0921-9"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB3","unstructured":"R.H.J. Bloks, A grammar-based approach towards the automatic implementation of data communication protocols in hardware, Ph.D. Thesis, Eindhoven University of Technology, September 1993"},{"issue":"8","key":"10.1016\/S1383-7621(00)00047-3_BIB4","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1109\/43.511567","article-title":"Analysis and synthesis of concurrent digital circuits using control- flow expressions","volume":"15","author":"Coelho","year":"1996","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB5","doi-asserted-by":"crossref","unstructured":"G. Economakos, G. Papakonstantinou, P. Tsanakas, AGENDA: An attribute grammar driven environment for the design automation of digital systems, in: Proceedings of DATE'98, Paris, France, Februray 23\u201326, 1998, pp. 933\u2013934","DOI":"10.1109\/DATE.1998.655976"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB6","unstructured":"G. Economakos, I. Poulakis, G. Papakonstantinou, P. Tsanakas, An attribute grammar-based interactive high-level synthesis tool, in: Proceedings of International Workshop on IP Based Synthesis and System Design, Grenoble, France, December 1998"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB7","unstructured":"J.S. Gero, E. Tyugu (Eds.), Formal Design Methods for CAD, Elsevier, Amsterdam, 1994, ISBN 0-444-81970-3"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB8","doi-asserted-by":"crossref","unstructured":"A. Hemani, J. \u00d6berg, A. Kumar Deb, D. Lindqvist, B. Fjellborg, System level virtual prototyping of DSP ASICs using grammar-based approach, in: Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP'99), Clearwater, Florida, USA, June 16\u201318, 1999, pp. 166\u2013171","DOI":"10.1109\/IWRSP.1999.779048"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB9","unstructured":"A. Hemani, A. Postula, Abhijit Kumar Deb, Bj\u00d6rn Fjellborg, Dan Lindqvist, A divide and conquer approach to system level verification of DSP ASICs, in: Proceedings of the HLDVT Workshop, San Diego, USA, November 4\u20135, 1999"},{"issue":"3","key":"10.1016\/S1383-7621(00)00047-3_BIB10","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1023\/A:1008906302979","article-title":"System level virtual prototyping of DSP SOCs using grammar-based approach","volume":"5","author":"Hemani","year":"2000","journal-title":"Design Automation for Embedded Systems"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB11","unstructured":"S.C. Johnson, YACC Yet another compiler compiler, Computing Science Tech. Rep. 32, AT&T Bell Lab., Murray Hill, 1975"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB12","doi-asserted-by":"crossref","unstructured":"J. \u00d6berg, A. Kumar, A. Hemani, Grammar-based hardware synthesis of data communication protocols, in: Proceedings of ISSS'96, La Jolla, California, November 6\u20138, 1996, pp. 14\u201319","DOI":"10.1109\/ISSS.1996.565871"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB13","doi-asserted-by":"crossref","unstructured":"J. \u00d6berg, A. Kumar, A. Hemani, Scheduling of outputs in grammar-based hardware synthesis of data communication protocols, in: Proceedings of DATE'98, Paris, France, February 23\u201326, 1998, pp. 596\u2013603","DOI":"10.1109\/DATE.1998.655919"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB14","unstructured":"J. \u00d6berg, A. Kumar, A. Hemani, S. Kumar, Specification and synthesis of exception handling in grammar-based hardware synthesis, Journal of Electrical Engineering and Information Science 3 (6) (1998) pp. 724\u2013735. The last name of the first author was misprinted in the Journal (as \u00d6erg ) because of a printing error concerning the handling of umlauts"},{"issue":"2","key":"10.1016\/S1383-7621(00)00047-3_BIB15","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/92.831438","article-title":"Grammar-based hardware synthesis from port-size-independent specifications","volume":"8","author":"\u00d6berg","year":"2000","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB16","unstructured":"J. \u00d6berg, ProGram: A grammar-based method for specification and hardware synthesis of communication protocols, Ph.D. Thesis, TRITA-ESD-1999-03, Kungliga Tekniska H\u00f6gskolan (KTH), Stockholm, Sweden, May 1999"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB17","doi-asserted-by":"crossref","unstructured":"Mattias O'Nils, Specification, synthesis and validation of hardware\/software interfaces, Ph.D. Thesis, TRITA-ESD-1999-04, Kungliga Tekniska H\u00f6gskolan (KTH), Stockholm, Sweden, June 1999","DOI":"10.1145\/307418.307565"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB18","doi-asserted-by":"crossref","unstructured":"M. O'Nils, J. \u00d6berg, A. Jantsch, Grammar-based modelling and synthesis of device drivers and bus interfaces, (poster paper), in: Proceedings of EuroMicro'98, vol. I, V\u00e4ster\u00e5s, Sweden, August 25\u201327, 1998, pp. 55\u201358","DOI":"10.1109\/EURMIC.1998.711776"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB19","doi-asserted-by":"crossref","unstructured":"M. O'Nils, A. Jantsch, Operating system sensitive device driver synthesis from implementation independent protocol specification, in: Proceedings of DATE'99, Munich, Germany, 1999","DOI":"10.1145\/307418.307565"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB20","doi-asserted-by":"crossref","unstructured":"M. O'Nils, A. Jantsch, Synthesis of DMA controllers from architecture independent descriptions of HW\/SW communication protocols, in: Proceedings of the 12th International Conference on VLSI Design, January 1999","DOI":"10.1109\/ICVD.1999.745138"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB21","doi-asserted-by":"crossref","unstructured":"R. Passerone, J.A. Rowson, A. Sangiovanni-Vincentelli, Automatic synthesis of interfaces between incompatible protocols, in: Proceedings of DAC'98, San Francisco, California, 1998, pp. 8\u201313","DOI":"10.1145\/277044.277047"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB22","doi-asserted-by":"crossref","unstructured":"J.A. Rowson, A. Sangiovanni-Vincentelli, Interface-based design, in: Proceedings of DAC'97, 1997, pp. 178\u2013183","DOI":"10.1145\/266021.266060"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB23","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1109\/92.285744","article-title":"Clairvoyant: A synthesis system for production-based specification","volume":"2","author":"Seawright","year":"1994","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB24","doi-asserted-by":"crossref","unstructured":"A. Seawright, U. Holtmann, W. Meyer, B. Pangrle, R. Verbrugghe, J. Buck, A system for compiling and debugging structured data processing controllers, in: Proceedings of EuroDAC`96, Geneva, Switzerland, September 1996","DOI":"10.1109\/EURDAC.1996.558188"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB25","doi-asserted-by":"crossref","unstructured":"A. Seawright, F. Brewer, Synthesis from production-based specifications, in: Proceedimgs of the 29th DAC, Anaheim, June 1992, pp. 194\u2013199","DOI":"10.1109\/DAC.1992.227837"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB26","doi-asserted-by":"crossref","unstructured":"A. Seawright, F. Brewer, High level symbolic construction techniques for high performance sequential synthesis, in: Proceedings of the 30th DAC, Dallas, June 1993, pp. 424\u2013428","DOI":"10.1145\/157485.164961"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB27","unstructured":"A. Seawright, Grammar-based specifications and synthesis for synchronous digital hardware design, Ph.D. Thesis, University of California, Santa Barbara, June 1994"},{"key":"10.1016\/S1383-7621(00)00047-3_BIB28","unstructured":"Synopsys, Inc., The Synopsys Protocol Compiler's Reference Manual, 1998"}],"container-title":["Journal of Systems Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762100000473?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762100000473?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T19:26:00Z","timestamp":1733253960000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1383762100000473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":28,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["S1383762100000473"],"URL":"https:\/\/doi.org\/10.1016\/s1383-7621(00)00047-3","relation":{},"ISSN":["1383-7621"],"issn-type":[{"type":"print","value":"1383-7621"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}