Cからハードウェアへのコンパイラ（HLL合成）

Question

私はすべてのCからハードウェアへのコンパイラの調査/履歴を作成しようとしています。

それらを知らないすべての人のために：彼らはCコードを取り、それをハードウェア記述言語（VHDLやVerilogなど）に変換し、それを使用してハードウェアを生成できます（通常はFPGAにマップされます-しかし私はそれに限定されません、ASICターゲットとしても問題ありません）。

私はすでにいくつかをかなり集めました（+それらについての情報）。だから私の質問は：他のコンパイラを知っていますか（もしそうなら、それらに関する参照、ポインタ、情報がありますか）？

これまでの私のリスト：

AutoESL
バッハ-C（シャープ）
C2H（アルテラ）
C2R（Cebatech）
C2Verilog（CompiLogic/Cレベルデザイン/ Synposys）
Carte/MAP（SRC Computers）
カスケード（CriticalBlue）
現金（カーネギーメロン大学、ピッツバーグ）
Catapult-C（メンターグラフィックス）
CHC（アルティウム）
CHiMPS（ワシントン大学（シアトル）/ザイリンクス/まもなく商用？）
C-to-Verilog（ハイファ）
同志（TUブラウンシュヴァイクE.I.S. + TUダルムシュタットE.S.A.）
CVC（日立）
サイバー（NEC）
ダイダロス（アムステルダム大学、ライデン大学）
DIME-C（ナラテック）
eXCite（YXI）
FP-Compiler（アルテラ）
FpgaC（オープンソース）
GarpCC（カリフォルニア大学バークレー校、キャラハン）
GAUT（UBS-UniversitätFrankreich）
ヘンデル-C（セロキシカ）
Hthreads（カンザス大学）
インパルス-C（インパルス加速技術）
Mitrion-C（Mitrionics）
DWARV（TUデルフト）
NIMBLE（Synopsys、E.I.S。ブラウンシュヴァイク）
NISC（カリフォルニア大学アーバイン校）
PICO-Express（Synfora => Synopsys）
PRISC（ハーバード大学、ケンブリッジ）
ROCCC（カリフォルニア大学リバーサイド校）
SPARK（カリフォルニア大学アーバイン校）
SpecC（Gajski et al。）
トライデント（オープンソース、ロスアラモス国立研究所）
UGH
子牛の肉
vfTools（ベクターファブリック）
xPilot（カリフォルニア大学ロサンゼルス校）

（リストのすべてがCを酸っぱくしているわけではなく、Cに似た方言を使用しているものもあり、ほとんどすべてがサブセットのみをサポートしていることを私は知っています。私もそのようなことに興味があります）。

編集：私はグーグルの使い方を知っているので、私はすでにいつもの容疑者をチェックし、結果を含めました。したがって、誰かがここで答えることができるのは、紙やエキゾチックなツールを本当に知っている場合だけです（または、それほどエキゾチックではないかもしれませんが、何らかの形で隠された機能を実装し、コンパイラは宣伝されていません）。