C到硬件编译器（HLL合成）

我试图对所有C-to-hardware编译器进行调查/记录

对于所有不了解它们的人：他们将C代码翻译成一些硬件描述语言（如VHDL或Verilog），然后可以用来生成硬件（通常它会映射到FPGA——但我不限于此，ASIC作为目标也可以）

我已经收集了一些关于他们的信息。所以我的问题是：你知道其他的编译器吗（如果知道的话，还有关于它们的任何引用、指针和信息）

到目前为止，我的清单是：

• 自动英语
• 巴赫-C（夏普）
• C2H（Altera）
• C2R（Cebatech）
• C2Verilog（编译逻辑/C级设计/Synposys）
• 点菜/地图（SRC计算机）
• 级联（临界蓝）
• 现金（匹兹堡卡内基梅隆大学）
• 弹射器-C（门托图形）
• CHC（海拔）
• 黑猩猩（华盛顿大学（西雅图）/Xilinx/soon商业？）
• C-to-Verilog（海法）
• 同志（图布伦瑞克E.I.S.+图达姆施塔特E.S.A.）
• CVC（日立）
• 赛博（NEC）
• 代达罗斯（阿姆斯特丹大学、莱顿大学）
• DIME-C（Nallatech）
• 激励（YXI）
• FP编译器（Altera）
• FpgaC（开源）
GarpCC（卡拉汉，加州大学伯克利分校）
• GAUT（瑞银法兰克福大学）
• 汉德尔-C（塞洛西亚）
• Hthreads（堪萨斯大学）
• 脉冲-C（脉冲加速技术）
• Mitrion-C（Mitrionics）
• 德瓦夫（图代尔夫特）
• 敏捷（Synopsys，E.I.S.布伦瑞克）
• NISC（加州大学欧文分校）
• PICO Express（Synfora=>Synopsys）
• PRISC（哈佛大学，剑桥）
• ROCCC（加州大学河滨分校）
• SPARK（加州大学欧文分校）
• SpecC（Gajski等人）
• Trident（开源，洛斯阿拉莫斯国家实验室）
• 啊
• 小牛肉
• vfTools（矢量结构）
• xPilot（加利福尼亚大学洛杉矶分校）

（我知道列表中并非所有人都以C为词源，有些人使用类似C的方言，而且几乎所有人都只支持一个子集，我也对这种语言感兴趣）

---

编辑：我知道如何使用谷歌，所以我已经检查了惯用嫌疑犯，并将结果包括在内。因此，很可能只有真正了解某种纸质或外来工具的人才能回答这个问题（或者可能不太熟悉，但实现了某种隐藏的功能，并且编译器没有公布）。

System-C

，我对它一无所知，只是用谷歌搜索了一下。

，它是基于SystemC的。另一种方法是，使用Verilog创建一个C模型。

LegUp:

还有HercuLeS（临时名称），它是我的HLS工具

从这里获取（旧）技术演示 自那时以来，情况有所进展

如果您需要详细介绍真实示例的技术演示，请告诉我，例如多功能CORDIC

干杯， 尼古拉斯·卡瓦迪亚斯在Altera和Xilinx的支持

Xilinx提供的OpenCV支持。Altera提供的OpenCL+OpenCV支持。我讨论了基于C语言的OpenCL+OpenCV

---

Altera具有与Quartus一起使用的功能。Xilinx有。

System-C是一种语言（或者更好地说是一种lanuange扩展/库），而不是一种特定的编译器-而且可合成的子集非常有限。但是很好的提示-我也可以包括这些。啊，我没有抓住你特别关注编译器而不是语言的微妙之处。它似乎有点奇怪，它并没有包括在内，因为它比你们列出的许多人都更为人所知。我想现在我知道为什么……Alrdiy得到了（它在黑猩猩和收购之间），但是谢谢（我现在编辑了它的来源）。C++还考虑了C++硬件描述工具。真正有趣的是硬件的C++ DSEL。在“Carte/MAP（SRC计算机）”条目中，MAP是SRC系统中的MAP处理器（包含FPGA、内存和支持逻辑），Carte是一种编程环境，用于为SRC系统中的微处理器和MAP处理器编译C代码。有很多可供选择，我如何知道从哪开始玩？@pyCthon:这取决于很多事情（例如，一些是针对ASIC设计的，一些是FPGA，一些是软核）-如果没有更多的限制，很难说（有了这些限制，就不容易了）。一般来说，商业广告比学术广告更自然，但你常常要为之付出高昂的代价。@flolo-true你能推荐一个像样的FPGA开源软件吗？