11 lines
No EOL
567 B
Text
11 lines
No EOL
567 B
Text
{{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 |