Я пытаюсь сделать опрос/историю всех компиляторов 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, поэтому я уже проверил подозрительных пользователей и включил результаты. Поэтому очень вероятно, что кто-то может ответить только здесь, если он действительно знает какую-то бумагу или экзотический инструмент (или, может быть, не такой экзотический, но который реализует как-то скрытую функциональность, а компилятор не рекламируется).