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

Question

我尝试对所有C-to-hardware编译器进行调查/历史记录。

对于所有不了解它们的人：他们采用C代码然后将其转换为某种硬件描述语言（如VHDL或Verilog），然后可以用来生成硬件（通常它被映射到FPGA - 但我不是仅限于此，ASIC作为目标也可以。）

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

到目前为止我的清单：

• AutoESL
• Bach-C（夏普）
• C2H（Altera）
• C2R（Cebatech）
• C2Verilog（CompiLogic / C Level Design / Synposys）
• Carte / MAP（SRC Computers）
• Cascade（CriticalBlue）
• CASH（匹兹堡卡内基梅隆大学）
• Catapult-C（Mentor Graphics）
• CHC（Altium）
• CHiMPS（华盛顿大学（西雅图）/ Xilinx /很快商业化？）
• C-to-Verilog（Haifa）
• 同志（TU Braunschweig E.I.S. + TU Darmstadt E.S.A.）
• CVC（日立）
• Cyber​​（NEC）
• Daedalus（Uni Amsterdam，Uni Leiden）
• DIME-C（Nallatech）
• eXCite（YXI）
• FP-Compiler（Altera）
• FpgaC（OpenSource）
• GarpCC（Callahan，加州大学伯克利分校）
• GAUT（UBS-UniversitätFrancreich）
• Handel-C（Celoxica）
• Hthreads（堪萨斯大学）
• Impulse-C（脉冲加速技术）
• Mitrion-C（Mitrionics）
• DWARV（代尔夫特理工大学）
• NIMBLE（Synopsys，E.I.S。Braunschweig）
• NISC（加州大学欧文分校）
• PICO-Express（Synfora =＆gt; Synopsys）
• PRISC（哈佛大学，剑桥）
• ROCCC（加州大学河滨分校）
• SPARK（加州大学欧文分校）
• SpecC（Gajski等人）
• Trident（OpenSource，洛斯阿拉莫斯国家实验室）
• UGH
• VEAL
• vfTools（Vector Fabric）
• xPilot（加州大学洛杉矶分校）

（我知道名单上并不是所有人都有C作为灵魂，有些人使用类似C语言的方言，而且几乎所有方言都只支持一个子集，我也对此感兴趣）。

编辑：我知道如何使用谷歌，所以我已经检查了所谓的嫌疑人，并已包括结果。因此，如果他真的知道某些纸张或异国情调的工具（或者可能不是那么奇特，但实现了某种程度上隐藏的功能，并且编译器没有被广告），那么很可能有人只能在这里回答。

Answer 1

系统-C？

Answer 2

Rotem CToVerilog，我对此一无所知，只是用谷歌搜索过来。

Answer 3

LegUp：http://legup.eecg.utoronto.ca/

Answer 4

还有HercuLeS（临时名称），这是MY HLS工具。

获得（旧）技术。来自这里的演示 http://www.nkavvadias.co.cc/misc/hls-demo-linux-0.0.1.tar.gz 从那时起事情就取得了进展。

如果您想要技术，请告诉我。演示文稿详细介绍了现实生活中的例子，例如多功能CORDIC。

干杯， Nikolaos Kavvadias

Answer 5

Altera和Xilinx的

OpenCL支持。

Xilinx的OpenCV支持。 Altera支持OpenCL + OpenCV。 See this post。我讲的是基于C语言的OpenCL + OpenCV。

Altera有OpenCL SDK，它与Quartus一起使用。 Xilinx有Vivado HLS。

Answer 6

Cynthesizer，这是基于SystemC的。 CellMath将采取另一种方式，采取Verilog并创建一个C模型。