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].
- 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 Scholar
- 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 Scholar
Digital Library
- Zainalabedin Navabi; VHDL: Modular Design and Synthesis of Cores and Systems; McGraw-Hill Professional;2007; 0071475451; pp. 22. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- SIGAda Documents; (2007, 8, 6) Available: http://www.SIGAda.org/.Google Scholar
- Ada Reference Manual ISO/IEC 8652:1995(E); ch 9.Available: www.adahome.com/rm95.Google Scholar
- J.G.p. Barnes; Programming in Ada; third edition; ISBN: 0-201-17566-5.Google Scholar
- David A. Wheeler; Lovelace tutorial; Lesson 1 - Brief Introduction to Ada; Available: www.dwheeler.com/lovelace.Google Scholar
- Alan Burns, Andy Wellings, John Barns, "Concurrency in Ada"; 2 edition; 1998; Cambridge University Press; ISBN: 052162911X. ch 4,11. Google Scholar
Digital Library
- Simon 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, 7, 2) Available: http://www.seas.gwu.edu/~csci51/fall99/ada_task.htmlGoogle Scholar
Index Terms
System level hardware design and simulation with SystemAda
Recommendations
SystemAda: an ada based system-level hardware description language
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 ...
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 ...
Hardware design with generalized arrows
IFL'11: Proceedings of the 23rd international conference on Implementation and Application of Functional LanguagesOrdinarily, a compiler for a multi-level language will contain some knowledge of the object language; for example, in a multi-stage programming language with runtime code generation, the compiler will know how to produce code which emits machine code ...






Comments