私は、すべての C-to-hardware コンパイラーの調査/履歴を作成しようとしています。
それらを知らないすべての人のために：彼らはCコードを取り、それをハードウェア記述言語（VHDLやVerilogなど）に変換し、それを使用してハードウェアを生成できます（通常、FPGAにマップされます-しかし、私はそれに限定されません、ターゲットとしての ASIC も問題ありません)。
私はすでにいくつかをかなり収集しています（+それらに関する情報）。だから私の質問は次のとおりです。他のコンパイラを知っていますか（もしそうなら、それらに関する参照、ポインタ、情報を持っていますか）？
これまでの私のリスト：
- AutoESL
- Bach-C (シャープ)
- C2H (アルテラ)
- C2R（セバテック）
- C2Verilog (CompiLogic / C レベル デザイン / Synposy)
- Carte / MAP (SRCコンピュータ)
- カスケード (クリティカルブルー)
- CASH (カーネギーメロン大学、ピッツバーグ)
- Catapult-C (メンター グラフィックス)
- CHC (アルティウム)
- CHiMPS (ワシントン大学 (シアトル) / ザイリンクス / 間もなく商用化?)
- C-to-Verilog (ハイファ)
- 同志 (TU ブラウンシュヴァイク EIS + TU ダルムシュタット ESA)
- CVC（日立）
- サイバー（NEC）
- Daedalus (ユニ アムステルダム、ユニ ライデン)
- DIME-C (ナラテック)
- エキサイト (YXI)
- FPコンパイラ（アルテラ）
- FpgaC (オープンソース)
- GarpCC (キャラハン、カリフォルニア大学バークレー校)
- GAUT (UBS-フランクライヒ大学)
- Handel-C (セロキシカ)
- Hthreads (カンザス大学)
- Impulse-C (Impulse Accelerated Technologies)
- Mitrion-C (ミトリオニクス)
- DWARV (デルフト工科大学)
- NIMBLE (シノプシス、EIS ブラウンシュヴァイク)
- NISC (カリフォルニア大学アーバイン校)
- PICO-Express (Synfora => Synopsys)
- PRISC (ハーバード大学、ケンブリッジ)
- ROCCC (カリフォルニア大学リバーサイド校)
- SPARK (カリフォルニア大学アーバイン校)
- SpecC (Gajski et al.)
- Trident (オープンソース、ロスアラモス国立研究所)
- うーん
- 子牛の肉
- vfTools (ベクター ファブリック)
- xPilot (カリフォルニア大学ロサンゼルス校)
（リストのすべてがCを持っているわけではなく、Cに似た方言を使用しているものもあり、ほとんどすべてがサブセットのみをサポートしていることも知っています。私はそのようなものにも興味があります）。
編集: Google の使用方法を知っているので、通常の容疑者を既に確認し、結果を含めました。したがって、誰かが紙またはエキゾチックなツールを本当に知っている場合にのみ、誰かがここで答えることができる可能性が非常に高いです (または、それほどエキゾチックではないかもしれませんが、何らかの形で機能を隠して実装し、コンパイラは宣伝されていません)。