skip to main content
10.1145/1315580.1315592acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing

Published:04 November 2007Publication History

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.

References

  1. "IEEE Standard VHDL Language Reference Manual", IEEE Std 1076--1993, http://ieeexplore. ieee. org/iel5/7180/19335/00893288. pdf.Google ScholarGoogle Scholar
  2. Ashenden, P. J. , "The Designer's Guide to VHDL", Elsevier, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. "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 ScholarGoogle Scholar
  4. D. Marsh, "Low-cost kits, the new FPGA-designer trend", EDN, November 23, 2006, P. 40.Google ScholarGoogle Scholar
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. Fishman, G. S. "Concepts and Methods in Discrete Event Digital Simulation". John Wiley &amp; Sons Inc, 1973.Google ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. Ludwig, L. and Pukite, P., "DEGAS: Discrete Event Gnu Advanced Scheduler", Proceedings of 2006 SIGAda Conference, Albuquerque, NM. http://degas. sourceforge. net/ Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. "IEEE 1076. 1 (VHDL-AMS) Working Group", http://www. vhdl. org/analog/Google ScholarGoogle Scholar
  10. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  11. "8-bit square root VHDL model", http://www. csee. umbc. edu/help/VHDL/samples/samples. shtml#sqrt8Google ScholarGoogle Scholar
  12. "Method and device for compressing and expanding an analog signal", United States Patent #5276764.Google ScholarGoogle Scholar
  13. AdaCore, Inc., 104 Fifth Ave., 15th floor, New York, NY, 10011. http://adacore. com.Google ScholarGoogle Scholar
  14. Pukite, J. and Pukite P. R., "Modeling for Reliability Analysis", Wiley-IEEE Press, 1998, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing

    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
    • Article Metrics

      • Downloads (Last 12 months)4
      • Downloads (Last 6 weeks)0

      Other Metrics

    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!