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.
- 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 Scholar
- 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 Scholar
Digital Library
- Z. Navabi, VHDL: Modular Design and Synthesis of Cores and Systems, McGraw-Hill, 2007. Google Scholar
Digital Library
- 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 Scholar
- J. Jackson, "The return of Ada," 2008, Government Computer News, Available: http://www.gcn.com/print/27_8/46116-1.html#;GCN Home.Google Scholar
- 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 Scholar
- SIGAda Documents, 2007, Available: http://www.SIGAda.org/.Google Scholar
- Ada Reference Manual ISO/IEC 8652:1995(E), chapter 9, Available: www.adahome.com/rm95.Google Scholar
- J.G.P. Barnes, Programming in Ada, 3rd Edition, ??? Google Scholar
Digital Library
- D.A. Wheeler, "Lovelace tutorial," Lesson 1-Brief Introduction to Ada, Available: www.dwheeler.com/lovelace.Google Scholar
- A. Burns, A. Wellings, and J. Barns, "Concurrency in Ada", 2ed edition, Cambridge University Press, 1998. Google Scholar
Digital Library
- S. Johnston, "Ada-95: A guide for C and C++ programmers," Available: http://www.adahome.com/Ammo/Cplpl2Ada.html. Google Scholar
Digital Library
- "Introductory Ada Concurrency Summary," 2007, Available: http://www.seas.gwu.edu/~csci51/fall99/ada_task.htmlGoogle Scholar
Index Terms
SystemAda: an ada based system-level hardware description language
Recommendations
System level hardware design and simulation with SystemAda
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 ...
Investigating SystemAda: TLM_FIFO detailed characteristics proof, TLM2.0 interfaces implementation, simulation time comparison to SystemC
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 ...
TLM request response channel in SystemAda
Hardware description languages or HDLs have started their way from transistor level to transaction level modeling up to now. Ada because of its intrinsic concurrency and object orientation is a good candidate to model hardware at transaction level ...






Comments