Category:ELLA

From Rosetta Code
(Redirected from ELLA)
Language
ELLA
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using ELLA.
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

VLSI Hardware Description Language ELLA is a hardware engineers support toolset used to design and verify hardware design. Developed by the UK Ministry of Defence.

Includes tools to perform:

  • design transformation
  • symbolic simulations
  • formal verification

See also

  • Ella 2000: A Language for Electronic System Design - by J. D. Morison, A. S. Clarke
  • A design and verification environment for ELLA - Barringer, Gough, Monahan, Williams, Arcus, Armstrong & Hill. - IEEE Xplore, Volume , Issue , 29 Aug-1 Sep 1995 Page(s):685 - 690

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "ELLA"

The following 2 pages are in this category, out of 2 total.