Компилятор C-to-hardware (синтез HLL)

Я пытаюсь сделать опрос/историю всех компиляторов C-to-hardware.

Для всех, кто их не знает: они берут C-код, а затем переводят его на какой-то язык описания аппаратного обеспечения (например, VHDL или Verilog), который затем может быть использован для создания оборудования (обычно он отображается на FPGA), но я не ограниченный этим, ASIC в качестве цели тоже будет прекрасным).

Я уже собрал некоторые (+ информация о них). Поэтому мой вопрос: знаете ли вы какие-либо другие компиляторы (и если у них есть ссылки, указатели, информация о них)?

Мой список:

  • AutoESL
  • Bach-C (Sharp)
  • C2H (Altera)
  • C2R (Cebatech)
  • C2Verilog (CompiLogic/C Level Design/Synposys)
  • Carte/MAP (SRC Computers)
  • Каскад (CriticalBlue)
  • CASH (Университет Карнеги-Меллона, Питтсбург)
  • Catapult-C (Графика наставника)
  • CHC (Altium)
  • CHiMPS (Университет Вашингтона (Сиэтл)/Xilinx/скоро коммерческий?)
  • C-to-Verilog (Хайфа)
  • Товарищ (TU Braunschweig E.I.S. + TU Darmstadt E.S.A.)
  • CVC (Hitachi)
  • Cyber ​​(NEC)
  • Daedalus (Uni Amsterdam, Uni Leiden)
  • DIME-C (Nallatech)
  • eXCite (YXI)
  • FP-Compiler (Altera)
  • FpgaC (OpenSource)
  • GarpCC (Каллахан, Калифорнийский университет в Беркли)
  • GAUT (UBS-Universität Frankreich)
  • Handel-C (Celoxica)
  • Hthreads (Университет Канзаса)
  • Импульс-C (ускоренные импульсы)
  • Митрион-С (Митрионика)
  • DWARV (TU Delft)
  • NIMBLE (Synopsys, E.I.S. Braunschweig)
  • NISC (Калифорнийский университет, Ирвин)
  • PICO-Express (Synfora = > Synopsys)
  • PRISC (Гарвардский университет, Кембридж)
  • ROCCC (Калифорнийский университет, Риверсайд)
  • SPARK (Калифорнийский университет, Ирвин)
  • SpecC (Гайски и др.)
  • Trident (OpenSource, Национальная лаборатория Лос-Аламоса)
  • UGH
  • VEAL
  • vfTools (векторная ткань)
  • xPilot (Калифорнийский университет, Лос-Анджелес)

(Я знаю, что не все в списке имеют C как soure, некоторые используют C-подобный диалект, и почти все поддерживают только подмножество, меня также интересуют такие).

РЕДАКТИРОВАТЬ: Я знаю, как использовать Google, поэтому я уже проверил подозрительных пользователей и включил результаты. Поэтому очень вероятно, что кто-то может ответить только здесь, если он действительно знает какую-то бумагу или экзотический инструмент (или, может быть, не такой экзотический, но который реализует как-то скрытую функциональность, а компилятор не рекламируется).

Ответы

Ответ 1

Система-C?

Ответ 2

Rotem CToVerilog, я ничего не знаю об этом, просто погубил его.

Ответ 4

Существует также HercuLeS (предварительное название), которое является инструментом MY HLS.

Получите (старый) техник. демо отсюда http://www.nkavvadias.co.cc/misc/hls-demo-linux-0.0.1.tar.gz С тех пор ситуация прогрессировала.

Сообщите мне, хотите ли вы технику. презентация с подробным описанием реальных примеров, например. многофункциональный CORDIC.

Cheers, Николаос Каввадий

Ответ 5

OpenCL поддержка в Altera и Xilinx.

Поддержка OpenCV от Xilinx. Поддержка OpenCL + OpenCV компанией Altera. См. это сообщение. Я говорю об OpenCL + OpenCV как на языках C.

Altera имеет OpenCL SDK, который используется с Quartus. Xilinx имеет Vivado HLS.

Ответ 6

Cynthesizer, который основан на SystemC. CellMath будет идти другим путем, возьмите Verilog и создайте модель C.