我尝试对所有 C 到硬件的编译器进行调查/历史记录。
对于所有不了解它们的人：他们采用 C 代码，然后将其翻译成某种硬件描述语言（如 VHDL 或 Verilog），然后可用于生成硬件（通常它被映射到 FPGA - 但我不限于此, ASIC 作为目标也可以）。
我已经收集了一些（+关于它们的信息）。所以我的问题是：你知道任何其他编译器（如果有的话，有任何引用、指针、关于它们的信息）吗？
到目前为止我的清单：
- 自动英语
- 巴赫-C（夏普）
- C2H (Altera)
- C2R (Cebatech)
- C2Verilog（CompiLogic/C 级设计/Synposys）
- Carte / MAP（SRC 计算机）
- 级联（CriticalBlue）
- 现金（卡内基梅隆大学，匹兹堡）
- Catapult-C（导师图形）
- CHC (Altium)
- CHiMPS（华盛顿大学（西雅图）/赛灵思/即将商业化？）
- C 到 Verilog（海法）
- 同志（TU Braunschweig EIS + TU Darmstadt ESA）
- CVC（日立）
- 网络（NEC）
- 代达罗斯（Uni Amsterdam，Uni Leiden）
- DIME-C（纳拉泰克）
- 激发 (YXI)
- FP 编译器 (Altera)
- FpgaC（开源）
- GarpCC（加州大学伯克利分校卡拉汉）
- GAUT (UBS-法兰克赖希大学)
- 亨德尔-C (Celoxica)
- Hthreads（堪萨斯大学）
- Impulse-C（脉冲加速技术）
- Mitrion-C (Mitrionics)
- 矮人（代尔夫特理工大学）
- 灵活（Synopsys，EIS 布伦瑞克）
- NISC（加州大学欧文分校）
- PICO-Express (Synfora => Synopsys)
- PRISC（哈佛大学，剑桥）
- ROCCC（加州大学河滨分校）
- SPARK（加州大学欧文分校）
- SpecC（Gajski 等人）
- Trident（开源，洛斯阿拉莫斯国家实验室）
- 啊
- 小牛肉
- vfTools（矢量织物）
- xPilot（加州大学洛杉矶分校）
（我知道并非所有列表中的 C 都如此，有些使用与 C 类似的方言，而且几乎所有都只支持一个子集，我也对此感兴趣）。
编辑：我知道如何使用谷歌，所以我已经检查了通常的嫌疑人并包含了结果。因此，如果某人确实知道某些论文或异国工具（或者可能不是那么奇异，但以某种方式隐藏了实现功能，并且没有宣传编译器），很可能有人只能在这里回答。