skip to main content
research-article

SystemAda: an ada based system-level hardware description language

Published:25 September 2009Publication History
Skip Abstract Section

Abstract

Recent research on system level design has produced a new level of abstraction for description of hardware that is referred to as Transaction Level Modeling, or TLM. TLM separates hardware into computation and communication units and describes each at a very abstract level. Another important property of electronic circuits, which is also modeled well in TLM, is concurrency of tasks and operations. Inherent concurrency of Ada, makes this language a good candidate for design and description of modern electronic systems. This paper* describes how to use.

Ada as a system description language like SystemC, and will use Ada compilers (such as Gnat) to evaluate systems described using Ada. We refer to the adaptation of Ada for system level description as SystemAda. This paper reviews Ada programming language requirements for modeling behavior of a digital system at transaction level, and considers possible approaches for extending Ada to meet these requirements.

References

  1. T.J. Wheeler, "Embedded System Design with Ada as the System Design Language," 1984, Available: http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA144232.Google ScholarGoogle Scholar
  2. L. Cai, and D. Gajski, "Transaction Level Modeling: An Overview," Proc. 1st IEEE/ACM/IFIP International Conference on Hardware/software codesign and system synthesis, 2003, pp. 19--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Z. Navabi, VHDL: Modular Design and Synthesis of Cores and Systems, McGraw-Hill, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. R. Goering, "Ada 2005 speaks to real-time embedded application," 2007, EE Times, Available: http://www.embedded.com/news/embeddedindustry/19 8701828?_requestid=308128.Google ScholarGoogle Scholar
  5. J. Jackson, "The return of Ada," 2008, Government Computer News, Available: http://www.gcn.com/print/27_8/46116-1.html#;GCN Home.Google ScholarGoogle Scholar
  6. B. Brosgol, and R. Dewar, "Use Ada for Better Safety, Security, And Reliability," 2008, Electronic Design publishes, Available: http://electronicdesign.com/Articles/Index.cfm?AD=1&AD=1&ArticleID=18141.Google ScholarGoogle Scholar
  7. SIGAda Documents, 2007, Available: http://www.SIGAda.org/.Google ScholarGoogle Scholar
  8. Ada Reference Manual ISO/IEC 8652:1995(E), chapter 9, Available: www.adahome.com/rm95.Google ScholarGoogle Scholar
  9. J.G.P. Barnes, Programming in Ada, 3rd Edition, ??? Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. D.A. Wheeler, "Lovelace tutorial," Lesson 1-Brief Introduction to Ada, Available: www.dwheeler.com/lovelace.Google ScholarGoogle Scholar
  11. A. Burns, A. Wellings, and J. Barns, "Concurrency in Ada", 2ed edition, Cambridge University Press, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. S. Johnston, "Ada-95: A guide for C and C++ programmers," Available: http://www.adahome.com/Ammo/Cplpl2Ada.html. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. "Introductory Ada Concurrency Summary," 2007, Available: http://www.seas.gwu.edu/~csci51/fall99/ada_task.htmlGoogle ScholarGoogle Scholar

Index Terms

  1. SystemAda: an ada based system-level hardware description language

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGAda Ada Letters
          ACM SIGAda Ada Letters  Volume 29, Issue 2
          August 2009
          57 pages
          ISSN:1094-3641
          DOI:10.1145/1620593
          Issue’s Table of Contents

          Copyright © 2009 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 25 September 2009

          Check for updates

          Qualifiers

          • research-article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!