ELLA (programming Language)
ELLA is a Hardware description language and support toolset. Developed by the Royal Signals and Radar Establishment during the 1980s and 90s.
Includes tools to perform:
- design transformation
- symbolic simulations
- formal verification
ELLA is a winner of the 1989 Queen's Award for Technological Achievement.
Read more about ELLA (programming Language): Sample, See Also