Skip to main content

Part of the book series: NATO ASI Series ((NSSE,volume 249))

Abstract

ELLA is a hardware description language which originated from the UK’s Defence Research Agency in 1982 and has been under continuous development until the present. This paper describes the use of the language, its underlying model and some of the rationale behind it. The main part of the paper contains descriptions of the particular features which distinguish it from other HDLs in the field.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ELLA 2000, A Language For Electronic System Design, J D Morison, A S Clarke, McGraw-Hill, to be published October 1993, ISBN 0-07-707821-7.

    Google Scholar 

  2. Logic Synthesis, a Faster Route to Silicon, R Dettmer, IEE Review, December 1989.

    Google Scholar 

  3. Syntactic Translation and Logic Synthesis in GATEMAP, J V Salmon, EB Pitty, M S Abrahams, IEE Proceedings, Vol. 136, Pt.E, No.4, July 1989.

    Google Scholar 

  4. DRA Final Report on IED ELLA Behavioural Synthesis Project, March 1993, obtainable from DRA.

    Google Scholar 

  5. Formal Verification Support for ELLA, University of Manchester, Harlequin Ltd, DRA Malvern, 1993 JFIT Technical Conference at Keele University, March 1993.

    Google Scholar 

  6. A Formal Semantic Model for ELLA, H Barringer, G D Gough, B Q Monahan, A J Williams, Technical Report UMCS-93-2-1, Department of Computer Science, University of Manchester, 1993.

    Google Scholar 

  7. Experience with Embedding Hardware Description Languages in HOL, R.Boulton, A Gordon, M Gordon, J Harrison, J Herbert, J Van Tassel, Edited by V Stravridou, T F Melham, R T Boute, Theorem Provers in Circuit Design, IFIP North Holland 1992, ISBN 0-444-89686-4.

    Google Scholar 

  8. Programming from Specifications, Carroll Morgan, Prentice Hall, 1990, ISBN 0-13-726233-7.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Morison, J.D., Newton, C.O. (1993). ELLA, a Language for the Design of Digital Systems. In: Mermet, J.P. (eds) Fundamentals and Standards in Hardware Description Languages. NATO ASI Series, vol 249. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1914-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-1914-6_12

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-4846-0

  • Online ISBN: 978-94-011-1914-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics