ELLA（プログラミング言語）

ELLA は、1980 年代から 1990 年代にかけて英国王立信号・レーダー研究所(RSRE) によって開発されたハードウェア記述言語およびサポート ツールセットです。同研究所は、ELLA の作成に使用されるプログラミング言語ALGOL 68RSのコンパイラも開発しました。

ELLA には次の機能を実行するツールがあります:

• デザインの変革
• シンボリックシミュレーション
• 形式検証

ELLA は、1989 年にテクノロジー功績に対する女王賞を受賞しました。

サンプルは元々 ftp://ftp.dra.hmg.gb/pub/ella ^{[リンク切れ‍ ]}から公開リリースされました。

行列乗算ハードウェア設計検証用のコード:

MAC ZIP = ([INT n]TYPE t: ベクトル1 ベクトル2) -> [n][2]t:
  [INT k = 1..n](ベクトル1[k]、ベクトル2[k])。
     
MAC TRANSPOSE = ([INT n][INT m]TYPE t: 行列) -> [m][n]t:
  [INT i = 1..m] [INT j = 1..n] 行列[j][i]。

MAC INNER_PRODUCT{FN * = [2]TYPE t -> TYPE s、FN + = [2]s -> s}
                 = ([INT n][2]t: ベクトル) -> s:
  n = 1の場合*ベクトル[1]
  それ以外の場合 *ベクトル[1] + INNER_PRODUCT {*,+} ベクトル[2..n]
  そうです。

MAC MATRIX_MULT {FN * = [2]TYPE t->TYPE s、FN + = [2]s->s} =
([INT n][INT m]t: 行列1、[m][INT p]t: 行列2) -> [n][p]s:
始める
  LET transposed_matrix2 = TRANSPOSE matrix2 とします。
出力 [INT i = 1..n][INT j = 1..p]
       INNER_PRODUCT{*,+}ZIP(行列1[i]、転置行列2[j])
終わり。

TYPE要素 = NEW elt/(1..20)、
     製品 = NEW prd/(1..1200)。

FN PLUS = (積: 整数1 整数2) -> 積:
  ARITH 整数1 + 整数2。

FN MULT = (要素: 整数1 整数2) -> 積:
  ARITH 整数1 * 整数2。

FN MULT_234 = ([2][3]要素:行列1、[3][4]要素:行列2) ->
             [2][4]製品:  
  MATRIX_MULT{MULT,PLUS}(行列 1, 行列 2)。

FN TEST = () -> [2][4]製品:
( 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))。
  出力
    MULT_234 (m1, m2)
）。

COM テスト: displaysignal MOC のみ

• ALGOL 68RSトランスレータを含むELLAソースコード