ABSTRACT
This paper describes a powerful Ada pattern which, when integrated with the open-source DEGAS discrete event run-time, allows a developer to write and execute logic design models in a format similar to the VHDL language. The application of this approach to other formulations, including floating-point based simulations, provides a means to establish general design, analysis, and verification strategies to a range of discrete event domains using standard Ada constructs.
- "IEEE Standard VHDL Language Reference Manual", IEEE Std 1076--1993, http://ieeexplore. ieee. org/iel5/7180/19335/00893288. pdf.Google Scholar
- Ashenden, P. J. , "The Designer's Guide to VHDL", Elsevier, 2001. Google Scholar
Digital Library
- "Securing the Future: Regional and National Programs to Support the Semiconductor Industry (2003)", Board on Science, Technology, and Economic Policy (STEP), http://fermat. nap. edu/books/0309085012/html/164. html, ("In 1999 total revenues of the electronics industry were close to $1 trillion, or 3. 1 percent of worldwide GDP. The revenues for the semiconductor components of the electronics industry were close to 16 percent of that, and capital spending for wafer-fabrication equipment about 21 percent."Google Scholar
- D. Marsh, "Low-cost kits, the new FPGA-designer trend", EDN, November 23, 2006, P. 40.Google Scholar
- Godefroid, P. "Software Model Checking: The Verisoft Approach. Formal Methods in System Design", 26, 2 (March 2005), 250--255. Kluwer Academic Publishers, Hingham, MA, USA; Holzmann, G. J. "The SPIN Model Checker". Addison-Wesley Professional, Boston, MA, USA. Sept. 2003. Google Scholar
Digital Library
- Fishman, G. S. "Concepts and Methods in Discrete Event Digital Simulation". John Wiley & Sons Inc, 1973.Google Scholar
- Nance, R. E. "A History of Discrete-Event Simulation Programming Languages". In Proceeedings of the Second ACM SIGPLAN Conference on History of Programming Languages ('93), (Cambridge, MA, USA, 1993). 149--175. Google Scholar
Digital Library
- Ludwig, L. and Pukite, P., "DEGAS: Discrete Event Gnu Advanced Scheduler", Proceedings of 2006 SIGAda Conference, Albuquerque, NM. http://degas. sourceforge. net/ Google Scholar
Digital Library
- "IEEE 1076. 1 (VHDL-AMS) Working Group", http://www. vhdl. org/analog/Google Scholar
- Wong, S. Y. and Levine, G, "Kernel Ada to Unify Hardware and Software Design", Proceedings of the 1998 SIGAda conference, Washington, D. C., p. 28. http://acm. org/sigada/conf/sa98/papers/levine. pdf. Google Scholar
Digital Library
- "8-bit square root VHDL model", http://www. csee. umbc. edu/help/VHDL/samples/samples. shtml#sqrt8Google Scholar
- "Method and device for compressing and expanding an analog signal", United States Patent #5276764.Google Scholar
- AdaCore, Inc., 104 Fifth Ave., 15th floor, New York, NY, 10011. http://adacore. com.Google Scholar
- Pukite, J. and Pukite P. R., "Modeling for Reliability Analysis", Wiley-IEEE Press, 1998, USA. Google Scholar
Digital Library
Index Terms
Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing
Recommendations
Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing
SIGAda '07This paper describes a powerful Ada pattern which, when integrated with the open-source DEGAS discrete event run-time, allows a developer to write and execute logic design models in a format similar to the VHDL language. The application of this approach ...
DEGAS: discrete event Gnu advanced scheduler
SIGAda '06: Proceedings of the 2006 annual ACM SIGAda international conference on AdaDEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically ...
DEGAS: discrete event Gnu advanced scheduler
DEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically ...







Comments