硬件描述语言

✍ dations ◷ 2025-10-22 12:37:54 #特定领域语言,硬件描述语言,建模语言,规范语言

在电子学中,硬件描述语言(英语:hardware description language, HDL)是用来描述电子电路(特别是数字电路)功能、行为的语言,可以在寄存器传输级、行为级、逻辑门级等对数字电路系统进行描述。随着自动化逻辑综合工具的发展,硬件描述语言可以被这些工具识别,并自动转换到逻辑门级网表,使得硬件描述语言可以被用来进行电路系统设计,并能通过逻辑仿真的形式验证电路功能。设计完成后,可以使用逻辑综合工具生成低抽象级别(门级)的网表(即连线表)。:1-12:3-4:483-484

硬件描述语言在很多地方可能和传统的软件编程语言类似,但是最大的区别是,前者能够对于硬件电路的时序特性进行描述。硬件描述语言是构成电子设计自动化体系的重要部分。小到简单的触发器,大到复杂的超大规模集成电路(如微处理器),都可以利用硬件描述语言来描述。常见的硬件描述语言包括Verilog、VHDL等。:254

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

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

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

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

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

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

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

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

相关

  • 黑火药火药,又名黑火药,是一种早期的炸药,直到17世纪中叶都是唯一的化学爆炸物。火药一般由硫磺、木炭和硝石(硝酸钾)混合而成,其木炭是作为燃料,而硫磺和硝石作为氧化剂。由于火药的燃烧
  • 波形蛋白1GK4, 1GK6, 1GK7, 3G1E, 3KLT, 3S4R, 3SSU, 3SWK, 3TRT, 3UF1· structural constituent of eye lens · protein binding · protein C-terminus binding · identical
  • 周 琪周琪(1970年4月-),山东莱州人,生于黑龙江哈尔滨,中国干细胞和发育生物学家,中国科学院院士。1991年毕业于东北农业大学生物工程系,1996年取得东北农大理学博士学位。担任中国科学院
  • 高第高第(?-1641年),字登之,永平府滦州人,明朝军事人物。高第于万历十七年(1589年)中进士,依附魏忠贤。柳河之败后,上疏:“自广宁弃后,蓟镇单弱,所赖以内护邦畿、外拒奴虏者,惟榆关为扼要。近闻
  • 检察机关本表列出中华人民共和国江西省各级人民检察院。专门人民检察院见中华人民共和国检察院列表。本表注释见中华人民共和国检察院列表。
  • 上瓦尔特斯多夫上瓦尔特斯多夫(德语:Oberwaltersdorf)是奥地利下奥地利州巴登县的一个市镇。总面积13.6平方公里,总人口3644人,人口密度267.9人/平方公里(2005年)。
  • 郅支城郅支城是古代地名,在今哈萨克斯坦南部江布尔州江布尔市。亦称郅支单于城。公元前56年,匈奴爆发内乱,原为匈奴左贤王的呼屠吾斯自立为郅支单于。公元前54年,郅支单于先后击败闰振
  • 乔格法尔尔斯乔格法尔尔斯(Jog Falls),是印度卡纳塔克邦Shimoga县的一个城镇。总人口12570(2001年)。该地2001年总人口12570人,其中男性6364人,女性6206人;0—6岁人口1386人,其中男694人,女692人;识
  • 李载平李载平(1925年8月17日-2018年5月30日),福建福州人,中国分子生物学家,中国工程院院士。1947年毕业于北京大学化学系,1960年上海生物化学研究所研究生毕业。1996年当选为中国工程院院
  • 初等数论初等数论意指使用不超过高中程度的初等代数处理的数论问题,最主要的工具包括整数的整除性与同余。重要的结论包括中国余数定理、费马小定理、二次互反律等等。