Grammar-based design of embedded systems

Journal of Systems Architecture

Volumn 47, Issue 3-4, 2001, Pages 225-240

  Öberg, Johnny ^a   O'Nils, Mattias ^b   Jantsch, Axel ^a   Postula, Adam ^c   Hemani, Ahmed ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b MID SWEDEN UNIVERSITY   (Sweden)

^c UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Device driver synthesis; Embedded systems; Grammar based design; Virtual prototyping

Indexed keywords

EID: 0035310518     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(00)00047-3     Document Type: Article

References (28)

1. A.V. Aho R. Sethi J.D. Ullman Compilers, Principles, Techniques and Tools 1986 Addison-Wesley Reading, MA
2. A. Bharati, V. Chaitanya, R. Sangal, Natural Language Processing – A Paninian Perspective, Prentice-Hall, India, 1995, ISBN 81-203-0921-9
3. 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
4. C.N. Coelho G. De Micheli Analysis and synthesis of concurrent digital circuits using control- flow expressions IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 15 8 1996 855 876
5. 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–26, 1998, pp. 933–934
6. 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
7. J.S. Gero, E. Tyugu (Eds.), Formal Design Methods for CAD, Elsevier, Amsterdam, 1994, ISBN 0-444-81970-3
8. A. Hemani, J. Öberg, 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–18, 1999, pp. 166–171
9. A. Hemani, A. Postula, Abhijit Kumar Deb, BjÖrn 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–5, 1999
10. A. Hemani A. Kumar Deb J. Öberg A. Postula D. Lindqvist B. Fjellborg System level virtual prototyping of DSP SOCs using grammar-based approach Design Automation for Embedded Systems 5 3 2000 295 311
11. S.C. Johnson, YACC Yet another compiler compiler, Computing Science Tech. Rep. 32, AT&T Bell Lab., Murray Hill, 1975
12. J. Öberg, A. Kumar, A. Hemani, Grammar-based hardware synthesis of data communication protocols, in: Proceedings of ISSS'96, La Jolla, California, November 6–8, 1996, pp. 14–19
13. J. Öberg, 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–26, 1998, pp. 596–603
14. J. Öberg, 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–735. The last name of the first author was misprinted in the Journal (as Öerg ) because of a printing error concerning the handling of umlauts
15. J. Öberg A. Kumar A. Hemani Grammar-based hardware synthesis from port-size-independent specifications IEEE Transactions on VLSI Systems 8 2 2000 184 194
16. J. Öberg, ProGram: A grammar-based method for specification and hardware synthesis of communication protocols, Ph.D. Thesis, TRITA-ESD-1999-03, Kungliga Tekniska Högskolan (KTH), Stockholm, Sweden, May 1999
17. Mattias O'Nils, Specification, synthesis and validation of hardware/software interfaces, Ph.D. Thesis, TRITA-ESD-1999-04, Kungliga Tekniska Högskolan (KTH), Stockholm, Sweden, June 1999
18. M. O'Nils, J. Öberg, A. Jantsch, Grammar-based modelling and synthesis of device drivers and bus interfaces, (poster paper), in: Proceedings of EuroMicro'98, vol. I, Västerås, Sweden, August 25–27, 1998, pp. 55–58
19. M. O'Nils, A. Jantsch, Operating system sensitive device driver synthesis from implementation independent protocol specification, in: Proceedings of DATE'99, Munich, Germany, 1999
20. 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
21. 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–13
22. J.A. Rowson, A. Sangiovanni-Vincentelli, Interface-based design, in: Proceedings of DAC'97, 1997, pp. 178–183
23. A. Seawright F. Brewer Clairvoyant: A synthesis system for production-based specification IEEE Transactions on VLSI Systems 2 1994 172 185
24. 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
25. A. Seawright, F. Brewer, Synthesis from production-based specifications, in: Proceedimgs of the 29th DAC, Anaheim, June 1992, pp. 194–199
26. 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–428
27. A. Seawright, Grammar-based specifications and synthesis for synchronous digital hardware design, Ph.D. Thesis, University of California, Santa Barbara, June 1994
28. Synopsys, Inc., The Synopsys Protocol Compiler's Reference Manual, 1998