A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Developer(s) | Royal Signals and Radar Establishment |
---|---|
Initial release | 1986 |
Written in | ALGOL 68RS |
Operating system | VMS |
Platform | ICL 2900 Series, Multics, VAX |
Available in | English |
Type | Hardware description language |
License | public domain (parts) |
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.
Sample
Sample originally from ftp://ftp.dra.hmg.gb/pub/ella[dead link], public release.
Code for matrix multiplication hardware design verification:
MAC ZIP = (TYPE t: vector1 vector2) -> t: (vector1, vector2). MAC TRANSPOSE = (TYPE t: matrix) -> t: matrix. MAC INNER_PRODUCT{FN * = TYPE t -> TYPE s, FN + = s -> s} = (t: vector) -> s: IF n = 1 THEN *vector ELSE *vector + INNER_PRODUCT {*,+} vector FI. MAC MATRIX_MULT {FN * = TYPE t->TYPE s, FN + = s->s} = (INT nINT mt: matrix1, mINT pt: matrix2) -> nps: BEGIN LET transposed_matrix2 = TRANSPOSE matrix2. OUTPUT INT i = 1..nINT j = 1..p INNER_PRODUCT{*,+}ZIP(matrix1i,transposed_matrix2j) END. TYPE element = NEW elt/(1..20), product = NEW prd/(1..1200). FN PLUS = (product: integer1 integer2) -> product: ARITH integer1 + integer2. FN MULT = (element: integer1 integer2) -> product: ARITH integer1 * integer2. FN MULT_234 = (23element:matrix1, 34element:matrix2) -> 24product: MATRIX_MULT{MULT,PLUS}(matrix1, matrix2). FN TEST = () -> 24product: ( LET m1 = ((elt/2, elt/1, elt/1), (elt/3, elt/6, elt/9)), m2 = ((elt/6, elt/1, elt/3, elt/4), (elt/9, elt/2, elt/8, elt/3), (elt/6, elt/4, elt/1, elt/2)). OUTPUT MULT_234 (m1, m2) ). COM test: just displaysignal MOC
Referencesedit
- Morison, J. D.; Clarke, A. S. (1 October 1993). Ella 2000: A Language for Electronic System Design. McGraw Hill. ISBN 978-0077078218.
- Barringer, H.; Gough, G.; Monahan, B.; Williams, A.; Arcus, M.; Armstrong, A.; Hill, M. (1995). A design and verification environment for ELLA. Design Automation Conference (DAC) 1995. Proceedings of ASP-DAC '95, CHDL '95, VLSI '95 with EDA Technofair. pp. 685–690. doi:10.1109/ASPDAC.1995.486387. ISBN 4-930813-67-0.
- Morison, J. D.; Peeling, N. E.; Thorp, T. L.; Whiting, E. V. (1987). EASE: A Design Support Environment for the HDDL ELLA. Design Automation Conference (DAC) 1987. 24th Conference on Design Automation. pp. 741–749. doi:10.1145/37888.38006. ISBN 0-8186-0781-5.
External linksedit
- ELLA source code including the ALGOL 68RS translator
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk