Handel-C

Handel-C是一個程式語言，是一個專門編譯用在FPGA以及ASIC上的硬體描述語言。它是一個C語言的子集，並且有一些非標準的控制硬體即時性以及并行性的特性。

补充特征

為了要描述複雜的演算法，C語言的子集包含了所有C語言常用的特性。像許多嵌入式編譯器，浮點數資料型態都會被忽略掉。透過外部函式庫的支援，浮點數運算會變的更有效率。

并行程序

为了设立一种描述并行行为的方式，使用了一些CSP关键字，还有Occam的通用文件结构。

例如^[1]：

par {    
     ++c;
     a = d + e;
     b = d + e;
}

通道

通道提供了在并行线程之间的消息传递机制。通道可以定义为异步的或同步的（分别有和没有缓冲区存储）。一个线程写一个同步通道会被立即阻塞，直到对应的监听线程准备好接收这个消息。类似的接收线程将阻塞在读语句上，直到发送线程执行了下一个发送。因此它们可以用作同步线程的方式^[1]。例如：

par {
    chan int a; // 声明一个同步通道
    int x;

    // 开始发送线程
    seq (i = 0; i < 10; i++) {
        a ! i;  // 向通道顺序的发送0到9
    }

    // 开始接收线程
    seq (j = 0; j < 10; j++) {
        a ? x;  // 进行10次从通道读入变量x
        delay;  // 在连续读取之间介入1个时钟周期的延迟
                // 这有阻塞在写入之间的发送线程的效果
    }
}

异步通道提供了特定数量的存储，通过它们以FIFO的形式进行数据传递。在这个FIFO既不充满又不空无的时候，发送和接收线程二者可以不被阻塞的进行。但是，在FIFO是空无的时候，接收线程将被阻塞于下次读取之时。当它是充满的时候，发送线程将被阻塞于下次发送之时。有着差异的时钟域（英语：Clock_domain_crossing）参与者的通道是自动异步的，因为需要至少一个存储元素来缓和亚稳定性（英语：Metastability (electronics)）。

一个线程可以同时等待多个通道，同步的或异步的，作用于给定优先级的特定次序下的第一个可用者之上，或者在都没有准备好的情况下可选的执行一个可替代的路径。

歷史

Handel-C是牛津大学计算实验室裡面的硬體編譯群組所發展一系列的硬體描述語言。大約在1996年早期，Handel HDL進化到Handel-C。

Handel-C在被ESL發表之後，被許多大學的硬體研究單位被採用。

其他的C HDL子集也大約在同一時間被發展出來，像是1994年在多倫多大學的Transmogrifier C（現在變為開源碼專案FpgaC（英语：FpgaC）），還有在洛斯阿拉莫斯国家实验室的Streams-C（現在已經得到Impulse加速技术公司的認可，並且重命名為Impulse C（英语：Impulse C））。

参见

• XC (编程语言)

引用

外部連結

• Handel-C language resources（页面存档备份，存于互联网档案馆） at Mentor Graphics
• Oxford Handel-C （页面存档备份，存于互联网档案馆）

查 论 编 可程式化邏輯裝置 概念 特殊應用積體電路（ASIC） 单片系统（SoC） 现场可编程逻辑门阵列（FPGA） 邏輯區塊（英语：Logic block） 複雜可程式化邏輯裝置（CPLD） 可程式化邏輯裝置（EPLD） 可程式化邏輯陣列（PLA） 可程式化陣列邏輯（PAL） 通用阵列逻辑（GAL） 可编程片上系统（PSoC） 可重組計算 Xputer（英语：Xputer） 软核微处理器 電路利用率不足（英语：Circuit underutilization） 高级综合 硬件加速 硬件描述语言 Verilog A AMS VHDL AMS VITAL（英语：VHDL-VITAL） SystemVerilog DPI SystemC Altera硬體描述語言（英语：Altera Hardware Description Language） Handel-C 屬性規範語言（英语：Property Specification Language） 統一電源格式（英语：Unified Power Format） PALASM 高階布林表達式語言（英语：Advanced Boolean Expression Language） 可程式化陣列邏輯（CUPL） OpenVera C to HDL（英语：C to HDL） Flow to HDL（英语：Flow to HDL） MyHDL（英语：MyHDL） JHDL ELLA (程式語言)（英语：ELLA (programming language)） 公司 Accellera（英语：Accellera） Actel（英语：Actel） Achronix（英语：Achronix） AMD Aldec（英语：Aldec） Atmel 終止式（Cadence） 赛普拉斯半导体 Duolog（英语：Duolog） Forte設計系統（英语：Forte Design Systems） 英特尔 Altera Lattice半導體（英语：Lattice Semiconductor） 國家半導體 明導國際 Microsemi（英语：Microsemi） 西格尼蒂克 新思科技 Magma設計自動化（英语：Magma Design Automation） Virage邏輯（英语：Virage Logic） 德州仪器 Tabula (company)（英语：Tabula (company)） 赛灵思 產品 硬件 iCE (FPGA)（英语：iCE (FPGA)） Stratix（英语：Stratix） Virtex (FPGA)（英语：Virtex (FPGA)） 軟件 Intel Quartus Prime Xilinx ISE Xilinx Vivado ModelSim Verilog-to-Routing（英语：Verilog-to-Routing） List of HDL simulators（英语：List of HDL simulators） IP 專有 ARC (processor)（英语：ARC (processor)） ARM Cortex-M LEON LatticeMico8（英语：LatticeMico8） MicroBlaze（英语：MicroBlaze） PicoBlaze（英语：PicoBlaze） Nios嵌入式處理器（英语：Nios embedded processor） Nios II 開源 Java最佳化處理器（英语：Java Optimized Processor） LatticeMico32（英语：LatticeMico32） OpenCores（英语：OpenCores） OpenRISC（英语：OpenRISC） OpenRISC 1200（英语：OpenRISC 1200） RISC-V Zet (hardware)（英语：Zet (hardware)）