Compilador de C a hardware(síntesis HLL)
compiler-construction fpga (6)
Intento hacer una encuesta / historial de todos los compiladores de C a hardware.
Para todo lo que no los conozco: toman el código C y luego lo traducen a un lenguaje de descripción de hardware (como VHDL o Verilog), que luego se puede usar para generar hardware (generalmente se asigna a un FPGA, pero no estoy limitado a eso , ASIC como objetivo estaría bien también).
Ya he recogido bastante (+ info sobre ellos). Entonces, mi pregunta es: ¿Conoces a otros compiladores (y si es así tienen referencias, indicadores, información sobre ellos)?
Mi lista hasta ahora:
- AutoESL
- Bach-C (Sharp)
- C2H (Altera)
- C2R (Cebatech)
- C2Verilog (CompiLogic / C Level Design / Synposys)
- Carta / MAP (Computadoras SRC)
- Cascada (CriticalBlue)
- EFECTIVO (Carnegie Mellon University, Pittsburgh)
- Catapulta-C (Mentor Graphics)
- CHC (Altium)
- CHiMPS (Universidad de Washington (Seattle) / Xilinx / ¿pronto comercial?)
- C-to-Verilog (Haifa)
- Camarada (TU Braunschweig EIS + TU Darmstadt ESA)
- CVC (Hitachi)
- Cyber (NEC)
- Dédalo (Uni Amsterdam, Uni Leiden)
- DIME-C (Nallatech)
- eXCite (YXI)
- FP-compilador (Altera)
- FpgaC (OpenSource)
- GarpCC (Callahan, Universidad de California en Berkeley)
- GAUT (UBS-Universität Frankreich)
- Handel-C (Celoxica)
- Hthreads (Universidad de Kansas)
- Impulse-C (Impulse Acelerated Technologies)
- Mitrion-C (Mitrionics)
- DWARV (TU Delft)
- NIMBLE (Synopsys, EIS Braunschweig)
- NISC (Universidad de California, Irvine)
- PICO-Express (Synfora => Synopsys)
- PRISC (Universidad de Harvard, Cambridge)
- ROCCC (Universidad de California, Riverside)
- SPARK (Universidad de California, Irvine)
- SpecC (Gajski et al.)
- Trident (OpenSource, Laboratorio Nacional de Los Alamos)
- UGH
- TERNERA
- vfTools (Vector Fabric)
- xPilot (Universidad de California, Los Ángeles)
(Sé que no todos en la lista tienen C como fuente, algunos usan dialectos similares a C, y casi todos admiten solo un subconjunto, también estoy interesado en eso).
EDITAR: Sé cómo usar Google, así que ya revisé los sospechosos de uso y he incluido los resultados. Por lo tanto, es muy probable que alguien solo pueda responder aquí si realmente sabe algo de papel o herramienta exótica (o quizás no sea tan exótico, pero eso implementa la funcionalidad de alguna manera oculta, y el compilador no está anunciado).
Sistema c?
Soporte OpenCL en Altera y Xilinx.
Soporte de OpenCV por Xilinx. Soporte OpenCL + OpenCV por Altera. Ver este post Hablo de OpenCL + OpenCV ambos basados en lenguajes C.
Altera tiene OpenCL SDK que se usa con Quartus. Xilinx tiene Vivado HLS .
También hay HercuLeS (nombre provisional), que es la herramienta MI HLS.
Obtener la tecnología (antigua). demo desde aquí http://www.nkavvadias.co.cc/misc/hls-demo-linux-0.0.1.tar.gz Las cosas han progresado desde entonces.
Déjame saber si quieres un técnico. Presentación que detalla ejemplos de la vida real, por ejemplo, un CORDIC multifunción.
Saludos, Nikolaos Kavvadias
Rotem CToVerilog , no sé nada al respecto, solo lo busqué en Google.
Cynthesizer , que se basa en SystemC. CellMath irá por el otro lado, tomará Verilog y creará un modelo C.