ELLA is a hardware description language and support toolset, developed in the United Kingdom by the Royal Signals and Radar Establishment (RSRE) during the 1980s and 1990s, which also developed the compiler for the programming language, ALGOL 68RS, used to write ELLA. ELLA has tools to perform: * Design transformation * Symbolic simulations * Formal verification ELLA is a winner of the 1989 Queen's Award for Technological Achievement.
Property | Value |
---|---|
dbo:abstract |
|
dbo:computingPlatform | |
dbo:developer | |
dbo:genre | |
dbo:license | |
dbo:operatingSystem | |
dbo:programmingLanguage | |
dbo:wikiPageExternalLink | |
dbo:wikiPageID |
|
dbo:wikiPageLength |
|
dbo:wikiPageRevisionID |
|
dbo:wikiPageWikiLink |
|
dbp:developer | |
dbp:genre | |
dbp:language |
|
dbp:license | |
dbp:name |
|
dbp:operatingSystem | |
dbp:platform | |
dbp:programmingLanguage | |
dbp:wikiPageUsesTemplate | |
dcterms:subject | |
gold:hypernym | |
rdf:type | |
rdfs:comment |
|
rdfs:label |
|
owl:sameAs | |
prov:wasDerivedFrom | |
foaf:isPrimaryTopicOf | |
foaf:name |
|
is dbo:wikiPageDisambiguates of | |
is dbo:wikiPageRedirects of | |
is dbo:wikiPageWikiLink of | |
is foaf:primaryTopic of |