Category:ELLA
From Rosetta Code
ELLA
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using ELLA.
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
Your Help Needed
If you know ELLA, please write code for some of the tasks not implemented in ELLA.
If you know ELLA, please write code for some of the tasks not implemented in ELLA.
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[edit]
- 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.