skip to main content
research-article

Investigating SystemAda: TLM_FIFO detailed characteristics proof, TLM2.0 interfaces implementation, simulation time comparison to SystemC

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

VHDL as a hardware description language has some short-comings for system level modeling. Since previous researches [10] tried to extend this language for high level modeling, using Ada structures, and also it has derived some of its basic structures from Ada at first, we have decided to extend Ada to a form called SystemAda that can model hardware at transaction level modeling. Ada because of its intrinsic features like concurrency and object orientation can be a good candidate for a high level hardware modeling language. In our previous works we have proved that Ada can have a link to Register Transfer Level (RTL) and Transaction Level Modeling (TLM) modeling [3]. Here we have proofed the detailed characteristics of our TLM_FIFO channel -- just like the real TLM_FIFO -- and a way to TLM2.0 interfaces. Finally by simulation time comparison between SystemAda and SystemC TLM equivalent models we have proved that there is no simulation time penalty in SystemAda over SystemC.

References

  1. H. Alemzadeh, S. Di Carlo, F. Refan, P. Prinetto, and Z. Navabi, "Plug & Test at System Level via Testable TLM Primitives," Proc. ITC, 2008, Paper 23.1, pp. 1--10.Google ScholarGoogle Scholar
  2. S. Mirkhani, and Z.Navabi, The VLSI Handbook, Chapter 86, CRC Press, 2ed Edition, 2006.Google ScholarGoogle Scholar
  3. Negin Mahani, "Making Alive Register Transfer Level and Transaction Level Modeling in Ada", ACM SIGAda AdaLetters, Volume 31, Issue 2, August 2011, pp.15--23. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Wong, and Gertrude Levine, "Kernel Ada to Unify Hardware and Software Design", Proc. Annual ACM SIGAda International Conference on Ada, 1998, pp. 28--38. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. J. E. Sammet, "Why Ada is not Just another Programming Language", Communications of the ACM, vol. 29, no. 8, August 1986, pp. 722--732. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Swan, "OSCI SystemC TLM", Available at: http://www-ti.informatik.unituebingen. de/~systemc/Documents/Presentation-13-OSCI_2_swan.pdf.Google ScholarGoogle Scholar
  7. "SystemC TLM1.0", Available at: http://www.systemc.org/home.Google ScholarGoogle Scholar
  8. M. Mills, and G Peterson, "Hardware/Software Codesign: VHDL and Ada 95 Code Migration and Integrated Analysis", Proc. Annual ACM SigAda international conference on Ada, 1998, pp. 18--27. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. D. A. Wheeler, "Lovelace tutorial", Section 13.2- Creating and Communicating with Tasks, Available at: http://www.dwheeler.com/ lovelace/ s13s2.htmGoogle ScholarGoogle Scholar
  10. Negin Mahani, Parniyan Mokri, Mahshid Sedghi, Zainalabedin navabi, "System Ada : An Ada based Syste- Level Hardware Description Language" ACM SIGADA AdaLetters, vol. XXIX , no. 2 , August 2009, pp. 15--19. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Stephen F. Zeigler, Comparing Development Costs of C and Ada, March 30, 1995 Ph.D Rational Software Corporation, Available at: http://www.adaic.com/whyada/ada-vs-c/cada_art.htmlGoogle ScholarGoogle Scholar
  12. Business Benefits: Available at: http://www.adacore.com/ home/ada_answers/business_benefits/Google ScholarGoogle Scholar
  13. Why Ada? Available at: http://www.adaic.org/whyada/WhyAda.htmlGoogle ScholarGoogle Scholar
  14. Ada95 RM, Section3: Declaration and Types, Available at: http://www.adahome.com/rm95/Google ScholarGoogle Scholar
  15. Ada95 RM, Section7: packages, Available at: http://www.adahome.com/rm95/Google ScholarGoogle Scholar
  16. Ada95 RM, Section12: Generic Units, Available at: http://www.adahome.com/rm95/Google ScholarGoogle Scholar
  17. David A. Wheeler; ,Ada Lovelace Tutorial, section6.5 Arrays; Available at: www.dwheeler.com/lovelace.Google ScholarGoogle Scholar
  18. David A. Wheeler; Ada Lovelace Tutorial, section13.1 Tasking Basics ; Available at: www.dwheeler.com/lovelace.Google ScholarGoogle Scholar
  19. David A. Wheeler; ,Ada Lovelace Tutorial, section9.1-Simple Text File Input/Output; Available at: www.dwheeler.com/lovelace.Google ScholarGoogle Scholar
  20. Barnes, J.G.P. (1989). Programming in Ada, Chapter5 Section5.3 -- loop StatementGoogle ScholarGoogle Scholar
  21. Ada Refrence Manual-legal information section 3.9.4 interface types, Available at: http://www.adaic.com/standards/05rm/html/rm-3-9-4.htmlGoogle ScholarGoogle Scholar
  22. R. K. Gedela, S. M. Shatz and Haiping Xu, "Visual Modeling of Synchronization Methods for Concurrent Objects in Ada 95", Available at: http://www.sigada.org/conf/sigada99/Paper22.pdfGoogle ScholarGoogle Scholar
  23. Comparison of Ada and C++ features, Available at: http://www.adahome.com/articles/1997-03/ada_vs_cpp.htmlGoogle ScholarGoogle Scholar
  24. System Level Design, Available at: http://chipdesignmag.com/sld/mcdonald/2009/02/19/esl-languages-which-one-is-right-for-your-needs/Google ScholarGoogle Scholar

Index Terms

  1. Investigating SystemAda: TLM_FIFO detailed characteristics proof, TLM2.0 interfaces implementation, simulation time comparison to SystemC

      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 33, Issue 1
        April 2013
        171 pages
        ISSN:1094-3641
        DOI:10.1145/2492312
        Issue’s Table of Contents

        Copyright © 2013 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 11 June 2013

        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!