skip to main content
research-article

System level hardware design and simulation with SystemAda

Published:31 March 2009Publication History
Skip Abstract Section

Abstract

Recent research in the system level design field has produced a number of techniques for structuring the understanding of systems. Many of these techniques produce design structures that are easily expressible in Ada language. Ada language has a structure which allows the design of systems to be expressed independently of its implementation and thus can be a good system design language for use with these techniques [1]. This paper describes how to use Ada as a system description language like SystemC, which will use Ada compilers (such as Gnat) to evaluate the written program as a system; we have named it, SystemAda. This paper reviews Ada programming language requirements for modeling behavior and structures at Transaction Level Modeling (TLM), and considers possible approaches for extending Ada to meet these requirements [2].

References

  1. Wheeler, T.J.; 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. Cai, L. and Gajski, D. "Transaction Level Modeling: An Overview", 2003. First IEEE/ACM/IFIP International Conference on Volume, Issue, 1-3 Oct. 2003; Available: ieeexplore.ieee.org/iel5/8991/28532/01275250.pdf; pp. 19--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Zainalabedin Navabi; VHDL: Modular Design and Synthesis of Cores and Systems; McGraw-Hill Professional;2007; 0071475451; pp. 22. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Richard Goering; Ada 2005 speaks to real-time embedded application ;( 2007, 4, 2); EE Times; Available: http://www.embedded.com/news/embeddedindustry/198701828?_requestid=308128Google ScholarGoogle Scholar
  5. Joab Jackson; The return of Ada; (2008,4, 14);Government Computer News; Available: http://www.gcn.com/print/27_8/46116-1.html#;GCN Home.Google ScholarGoogle Scholar
  6. Ben Brosgol, Robert Dewar ; Use Ada for Better Safety, Security, And Reliability; (2008, 1, 7); Electronic Design publishes; Available: http://electronicdesign.com/Articles/Index.cfm?AD=1&AD=1&ArticleID=18141.Google ScholarGoogle Scholar
  7. SIGAda Documents; (2007, 8, 6) Available: http://www.SIGAda.org/.Google ScholarGoogle Scholar
  8. Ada Reference Manual ISO/IEC 8652:1995(E); ch 9.Available: www.adahome.com/rm95.Google ScholarGoogle Scholar
  9. J.G.p. Barnes; Programming in Ada; third edition; ISBN: 0-201-17566-5.Google ScholarGoogle Scholar
  10. David A. Wheeler; Lovelace tutorial; Lesson 1 - Brief Introduction to Ada; Available: www.dwheeler.com/lovelace.Google ScholarGoogle Scholar
  11. Alan Burns, Andy Wellings, John Barns, "Concurrency in Ada"; 2 edition; 1998; Cambridge University Press; ISBN: 052162911X. ch 4,11. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Simon 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, 7, 2) Available: http://www.seas.gwu.edu/~csci51/fall99/ada_task.htmlGoogle ScholarGoogle Scholar

Index Terms

  1. System level hardware design and simulation with SystemAda

        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 1
          April 2009
          79 pages
          ISSN:1094-3641
          DOI:10.1145/1541788
          Issue’s Table of Contents

          Copyright © 2009 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 31 March 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!