Category:ELLA: Difference between revisions
Content added Content deleted
(lang, stub) |
m (Introducting ELLA - VLSI Hardware Description Language.) |
||
Line 1: | Line 1: | ||
{{language}}{{stub}} |
{{language}}{{stub}} |
||
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 |
Latest revision as of 21:27, 4 December 2008
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: |
|
---|
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.
@
- ELLA examples needing attention (empty)
- ELLA Implementations (empty)
- ELLA User (empty)
Pages in category "ELLA"
The following 2 pages are in this category, out of 2 total.