Abstract
Attribute grammars have been used extensively in every phase of traditional compiler construction and, therefore, practical attribute grammar evaluators have been developed to automate the task. The similar task of hardware compilation has not however taken advantage of these developments yet. Previous work has shown that attribute grammars can be effectively adopted to handle high-level hardware synthesis. In this paper, these past results are further elaborated and integrated in the construction of a prototype for an attribute grammar driven hardware compiler from behavioral descriptions to VHDL. Due to its flexibility and rapid design, such a compiler can be used as a workbench for testing various synthesis algorithms and optimization criteria. This novel approach can be proven valuable for evaluating new algorithms and techniques in the field.
Chapter PDF
Similar content being viewed by others
Keywords
References
Aho, A. V., Sethi, R. and Ullman, J. D. (1986) Compilers: Principles, Techniques and Tools. Addison-Wesley.
Arbab, B. (1986) Compiling Circular Attribute Grammars into Prolog. IBM J. Res. & Development, Vol 30, No 3.
Bhasker, J. (1992) A VHDL Primer. Prentice Hall.
Biesenack, J., Koster, M, Langmaier, A., Ledeux, S., Matz, S., Payer, M., Pilsl, M, Rimier, S., Soukup, H, When, N. and Duzy, P. (1993) The Siemens High-Level Synthesis System CALLAS. IEEE Transactions on Very Large Scale Integration Systems, Vol 1, No 3, pp 244–253.
Camposano, R (1991) Path-Based Scheduling for Synthesis. IEEE Transactions on Computer-Aided Design, Vol 10, No 1, pp 85–93.
Deransatt, P. and Aluszynski, J. (1985) Relating Logic Programs and Attribute Grammars. J. Logic Programming, Vol 2, pp 119–155.
Deransatt, P. et al. (1988) Attribute Grammars, in Lecture Notes in Computer Science, Spinger-Verlag.
Dutt, N. and Ramachandran, C. (1992) Benchmarks for the 1992 High-Level Synthesis Workshop. UCI Technical Report #92–108
Economakos, G., Papakonstantinou, G and Tsanakas, P. (1995) An Attribute Grammar Approach to High-Level Automated Hardware Synthesis. Information and Software Technology, Vol 37, No 9, pp 493–502.
Economakos, G, Papakonstantinou, G and Tsanakas, P. (1997) Attribute Grammar Driven Scheduling for the High-Level Synthesis of ASICs. submitted to 1997 IEEE/ACM International Conference on Computer Aided Design.
Farrow, R (1983) Attribute Grammars and Dataflow Languages. ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, pp 28–40.
Farrow, R and Stanculescu, A. G (1989) A VHDL Compiler Based on Attribute Grammar Methodology. ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 120–130.
Gajski, D., Dutt, N., Wu, A. and Lin, S. (1992) High-Level Synthesis. Kluwer Academic Publishers.
Hafer, L. J. and Parker, A. C. (1983) A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic. IEEE Transacttions on Computer-Aided Design, Vol 2, No 1, pp 4–18.
Jones, L. G and Simon, J. (1986) Hierarchical VLSI Design Systems Based on Attribute Grammars. 13th ACM Symposium on Principles of Programming Languages, pp 58–69.
Keutzer, K. and Wolf, W. (1988) Anatomy of a Hardware Compiler. ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 95–104.
Knuth, D. E. (1968) Semantics of Context-Free Languages. Mathematical Systems Theory Vol 2, No 2, pp 127–145.
Ku, D. and De Micheli, G (1990) HardwareC: A Language for Hardware Design. Stanford University Technical Report CSL-TR-90–419, Version 2.0.
Lin, Y. L. (1997) Recent Development in High Level Synthesis. ACM Transactions on Design Automation of Electronic Systems, Vol 2, No 1.
Lipsett, R, Schaefer, C. F. and Ussery, C. (1993) VHDL: Hardware Description and Design. Kluwer Academic Publishers.
McFarland, M C., Parker, A. C. and Camposano, R (1990) The High-Level Synthesis of Digital Systems. Proceedings of the IEEE, Vol 78, No 2, pp 301–318.
Naini, M (1989) A Dedicated Dataflow Architecture for Hardware Compilation. 22nd Annual Hawaii International Conference on System Sciences.
Paaki, J. (1995) Attribute Dammar Paradigms — A High-Level Methodology in Language Implementation. ACM Computing Surveys, Vol 27, No 2.
Papakonstantinou, G. and Kontos J. (1986a) Knowledge Representation with Attribute Grammars. The Computer Journal Vol 29, No 3, pp 241–246.
Papakonstantinou, G et al. (1986b) An Attribute Grammar Interpreter as a Knowledge Engineering Tool. Angew. Inf., Vol 9, pp 382–388.
Papakonstantinou, G and Tsanakas, P. (1988) Attribute Grammars and Dataflow Computing. Information and Software Technology,Vol 30, No 5, pp 306–313.
Paulin, P. G and Knight, J. P. (1989) Force-Directed Scheduling for the Behavioral Synthesis of ASICs IEEE Transactions on Computer-Aided Design, Vol 8, No 6, pp 661–679.
Sideri, M., Efraimidis, S. and Papakonstantinou, G (1989) Semanticaly Driven Parsing of Context-Free Languages. The Computer Journal, Vol 32, No 1.
Tanaka, T., Kobayashi, T. and Karatsu, O. (1989) HARP: Fortran to Silicon. IEEE Transactions on Computer-Aided Design, Vol 8, No 6, pp 649–660.
Thomas, D. E., Lagnese, E. D., Walker, RA., Nestor, J. A., Rajan, J. V. and Blackburn, R L. (1990) Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench. Kluwer Academic Publishers.
Trickey, I-L (1987) Flamel: A High-Level Hardware Compiler. IEEE Transactions on Computer-Aided Design, Vol 6, No 2, pp 259–269.
Tsanakas, P., Alexandridis, N. and Papakonstantinou, G (1989) An FP-based Design Methdology for Problem-oriented Architectures. The Computer Journal, Vol 32, No 5, pp 453–460.
Tsanakas, P., Papakonstantinou, G and Kaxiras, S. (1991) A PROLOG-based Design Environment for the High-Level Synthesis of Application-Specific Architectures. Microprocessing and Microprogramming Vol 32, pp 307–313.
Tsanakas, P., Papakonstantinou, G and Bilalis, N. (1992) Systematic Synthesis of Parallel VLSI Architectures from FP Specifications and its Application to Scene Matching. Mcroprocessing and Microprogramming, Vol 35, pp 579–586.
Waite, W. M. and Goos, G. (1984) Compiler Construction. Springer-Verlag.
Walker, R A. and Camposano, R (1991) A Survey of High-Level Synthesis Systems. Kluwer Academic Publishers.
Walker, R A. and Chaudhari, S. (1995) High-Level Synthesis: Introduction to the Scheduling Problem. IEEE Design & Test of Computers, Vol 12, No 2.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP
About this chapter
Cite this chapter
Economakos, G., Papakonstantinou, G., Pekmestzi, K., Tsanakas, P. (1997). Hardware Compilation Using Attribute Grammars. In: Li, H.F., Probst, D.K. (eds) Advances in Hardware Design and Verification. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35190-2_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35190-2_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2885-8
Online ISBN: 978-0-387-35190-2
eBook Packages: Springer Book Archive