在电子学领域，**硬件描述语言**（英語：）是用来描述电子电路（特别是数字电路）功能、行为的语言，可以在寄存器传输级、行为级、逻辑门级等对数字电路系统进行描述。随着自动化逻辑综合工具的发展，硬件描述语言可以被这些工具识别，并自动转换到逻辑门级网表，使得硬件描述语言可以被用来进行电路系统设计，并能通过逻辑仿真的形式验证电路功能。设计完成后，可以使用逻辑综合工具生成低抽象级别（门级）的网表（即连线表）。

硬件描述语言在很多地方可能和传统的软件编程语言类似，但是最大的区别是，硬件描述语言能够描述硬件电路的时序特性。硬件描述语言是电子设计自动化体系的重要部分。小到简单的触发器，大到复杂的超大规模集成电路（如微处理器），都可以用硬件描述语言描述。常见的硬件描述语言有Verilog、VHDL等。

目的
--

1970年代以来，集成电路的复杂程度按照半导体业界摩尔定律的趋势急剧增长。电路设计人员的工作量不断增加，使得他们必须放弃以往那样从特定的电子元件，如CMOS、双极性晶体管为基础，来设计复杂电路。设计流程的关注重心开始转到电路系统的数据流动以及有关时序的信息，这样的设计抽象级别被称为"寄存器传输级"。设计人员通过使用硬件描述语言，可以将精力放在电路逻辑功能、时序的设计上，而不需要一开始就考虑具体的器件制造工艺以及它们对电路功能的影响。

结构
--

硬件描述语言是对电路系统的结构、行为的标准文本描述。硬件描述语言和一些并行编程语言一样存在并行性的表达方式。然而，和大多数用于软件设计的编程语言不同，硬件描述语言可以描述硬件系统在不同时间的时序行为，而时序性正是硬件电路的重要性质之一。在计算机辅助设计中，用于描述电路模块中连线、各层次模块之间互连的硬件描述语言代码，被称为"网表"。硬件描述语言可以在结构级（或称逻辑门级）、行为级、寄存器传输级这几种不同的层次上对电路进行描述，实现同一功能的硬件描述语言也可以使用任一层次的硬件描述语言代码来描述。通过逻辑综合，后两种层次的硬件描述语言代码可以被转换到低抽象级别的门级描述，但是采用不同厂商的工具、使用不同的综合设置策略可能会产生不同的结果。

在实现具体的硬件电路之前，设计人员可以利用硬件描述语言来进行仿真。在硬件实现的过程中，硬件描述语言的源文件通常会被转换成一种类似可执行文件的中间文件，该文件可以解释硬件描述语言的各种代码、语句的语义。正由于此，硬件描述语言具有了类似软件编程语言的一些性质，但是总体来说，它仍然属于规约语言、建模语言的范畴。模拟电路也有自己的硬件描述语言，但和数字电路的差异较大。

### 与控制流语言的比较

可以使用传统的编程语言控制流程的特性来指代硬件的数据流性质，例如包含特定增强类库的C++（如SystemC）即可实现这样的目的。尽管如此，用于软件设计的编程语言不能对电路的时序性质进行描述，这导致软件编程语言不能替代专用的硬件描述语言。在最近地位愈加显著的硬件验证语言——SystemVerilog出现之前，人们利用C++和一些逻辑仿真工具协同工作，从而在硬件验证中实现面向对象程序设计的思想。

硬件描述语言的部分子集是可综合的，这意味着可以使用逻辑综合工具通过"阅读"行为级、寄存器传输级的代码，来"推断"这些代码对应的功能，从而给出一个经过优化的的电路连线网表。逻辑综合工具（如新思科技的Design Compiler等或Cadence的RTL Compiler）通常会对设计人员定义的逻辑功能进行逻辑化简，这样就可以避免冗杂的逻辑门级网表。含有延迟的硬件描述语言代码（例如Verilog中`#5`这样的代码）通常是不可合成的，也就是说，这部分代码在逻辑综合过程中会被忽略。这类代码在硬件验证中的作用更加显著。此外，还有其他部分代码结构也是不可合成的。

使用硬件描述语言进行设计
------------

参见：集成电路设计
通过使用硬件描述语言，集成电路（特别是现代的数字电路）的设计效率得以大大提高。大多数设计人员从设计行为目标或高级架构图出发开始设计。电路系统的控制决断结构以流程图、状态图为原型。编写硬件描述语言代码的过程与目标电路的特性以及设计人员的编程风格有关。硬件描述语言可以是高抽象级别的算法描述。设计人员经常使用脚本语言（如Perl、Python）来在硬件描述语言中生成重复性的电路结构。硬件描述语言的编程工作可以在一些代码编辑器中完成，这些软件通常提供自动缩进、保留字高亮显示等辅助功能。

随后，硬件描述语言代码会经过审核阶段。在进行逻辑综合之前，电子设计自动化软件会进行一系列自动检查，如扫描硬件描述语言代码中存在的语法错误等。自动检查程序会将违背规则的代码呈现在报告中，并指出它们潜在的危害。代码中的硬件逻辑错误也会在此阶段被检查。这些审核过程可以尽可能减少代码在综合后引发的错误。

在工业界，硬件描述语言设计一般止于综合的完成。一旦逻辑综合工具将硬件描述语言代码映射到逻辑门级的网表，该网表会被送到之后的后端工艺产线。根据所使用的不同器件，如现场可编程逻辑门阵列（）、专用集成电路（）、门阵列（）、专用集成电路标准元件（），实际电路的硬件制造过程可能不同，但是硬件描述语言一般并不过多关注的后端流程。普遍地说，随着设计流程逐渐转向物理实现方式，设计数据库的重心将转向器件制造工艺相关的信息，这些信息通常由硬件厂商提供，设计人员编写的硬件描述语言代码并不需要包含这方面的信息。最后，集成电路在物理上得以实现。

使用硬件描述语言进行验证
------------

参见：功能验证和硬件验证语言

参考文献
----

1. 1 2  Himanshu Bhatnagar.. 北京: 清华大学出版社. ISBN 978-7-302-14881-4.
2. ↑  Samir Palnitkar.. 北京: 电子工业出版社. : 10. ISBN 7-121-00468-2.
3. ↑  朱正涌，张海洋，朱元红.. 北京: 清华大学出版社. ISBN 978-7-302-18512-3.
4. ↑  邓元庆、关宇、贾鹏、石会.. 北京: 清华大学出版社. ISBN 978-7-302-21406-9 （中文（中国大陆））.
5. ↑  Michael D. Ciletti.. Prentice Hall. 2010.
6. ↑  David Money Harris, Sarah L. Harris.. 北京: 机械工业出版社. ISBN 978-7-111-25459-1.
7. ↑  Erik Erunvand.. 北京: 电子工业出版社. ISBN 978-7-121-09607-5.

参见
--

* icon电子学主题
* 计算机科学主题

* 集成电路设计
* 硬件验证语言


|  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数字电路 |
| --- |
|  |
| 概念 | 
* 数字信号
* 布尔代数
* 開關
* 组合逻辑电路
* 时序逻辑电路
	+ 同步
	+ 異步
* 真值表
* 卡诺图
* 有限状态机
	+ 米利机
	+ 摩尔机

 |
|  |
| 硬件模块 | 
* 邏輯閘
	+ 与
	+ 或
	+ 非
	+ 同
	+ 与非
	+ 或非
	+ 异或
	+ 同或
	+ 蘊含
* TTL
	+ 74190
* CMOS
* 加法器
* 乘法器
* 编码器
* 译码器
* 数据选择器
* 锁存器
* 寄存器
* 触发器
	+ RS
	+ D
	+ JK
	+ T
* 儲存裝置
	+ ROM
	+ RAM
* 類比數位轉換器
* 數位類比轉換器

 |
|  |
| IC、VLSI | 
* 定制程度（半、全）
* PLD
	+ PAL
	+ PLA
	+ GAL
	+ CPLD
	+ FPGA
* ASIC
* 设计
* 验证
* 电子设计自动化（EDA）
* 硬件描述语言
	+ Verilog
	+ VHDL
* 逻辑综合
* 硬件验证语言
	+ SystemVerilog

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
可编程逻辑 |
| --- |
|  |
| 概念 | 
* ASIC
* SoC
* FPGA
	+ Logic block
* CPLD
* EPLD
* PLA
* PAL
* GAL
* PSoC
* 可重組計算
	+ Xputer
* 软核微处理器
* Circuit underutilization
* 高级综合
* 硬件加速

 |
|  |
| 硬件描述语言 | 
* Verilog
	+ A
	+ AMS
* VHDL
	+ AMS
	+ VITAL
* SystemVerilog
	+ DPI
* SystemC
* AHDL
* Handel-C
* PSL
* UPF
* PALASM
* ABEL
* CUPL
* OpenVera
* C to HDL
* Flow to HDL
* MyHDL
* JHDL
* ELLA

 |
|  |
| 公司 | 
* Accellera
* Actel
* Achronix
* AMD
* Aldec
* Atmel
* Cadence
* 赛普拉斯半导体
* Duolog
* Forte
* Intel
	+ Altera
* Lattice
* 國家半導體
* 明導國際
* Microsemi
* 西格尼蒂克
* 新思科技
	+ Magma
	+ Virage Logic
* 德州仪器
* Tabula
* 赛灵思

 |
|  |
| 产品 | 

|  |  |
| --- | --- |
| 硬件 | 
* iCE
* Stratix
* Virtex

 |
|  |
| 软件 | 
* Intel Quartus Prime
* Xilinx ISE
* Xilinx Vivado
* ModelSim
* VTR
* Simulators

 |
|  |
| IP | 

|  |  |
| --- | --- |
| 专有 | 
* ARC
* ARM Cortex-M
* LEON
* LatticeMico8
* MicroBlaze
* PicoBlaze
* Nios
* Nios II

 |
|  |
| 开源 | 
* JOP
* LatticeMico32
* OpenCores
* OpenRISC
	+ 1200
* RISC-V
* Zet

 |

 |

 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* GND: 4159102-1
* J9U: 987007529835405171
* LCCN: sh87005550
* NDL: 01183213

 |

 |