欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hardware description language
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→链接) |
||
(未显示1个用户的1个中间版本) | |||
第28行: | 第28行: | ||
*[https://www.chisel-lang.org/ Chisel/FIRRTL] Hardware Compiler Framework | *[https://www.chisel-lang.org/ Chisel/FIRRTL] Hardware Compiler Framework | ||
*[https://github.com/clash-lang/clash-compiler Clash] A functional hardware description language, [[Haskell]] to VHDL/Verilog/SystemVerilog [[compiler]] | *[https://github.com/clash-lang/clash-compiler Clash] A functional hardware description language, [[Haskell]] to VHDL/Verilog/SystemVerilog [[compiler]] | ||
+ | *[https://bhdl.org/ Board HDL] | ||
==项目== | ==项目== | ||
第49行: | 第50行: | ||
[[category:hardware]] | [[category:hardware]] | ||
[[category:formal]] | [[category:formal]] | ||
+ | [[category:Huihoo Foundation]] |
2023年3月26日 (日) 03:32的最后版本
您可以在Wikipedia上了解到此条目的英文信息 Hardware description language Thanks, Wikipedia. |
硬件描述语言(hardware description language, HDL)
目录 |
[编辑] 简介
硬件描述语言(HDL)的行为级建模是现代专用集成电路(ASIC)和现场可编程门阵列(FPGA)设计的关键。
VHDL 是一种对数字硬件系统进行设计和建模的语言。
其中,基于 Ada 语言的 VHDL 和基于 C 语言的 Verilog 最为流行。
用于 FPGA 编程的主流 HDL:
- Lucid 这种语言是专门针对 FPGA 设计的,可弥补 Verilog 等一些更早语言的不足。
- VHDL:超高速集成电路 (VHSIC) 硬件描述语言的首字母缩写,该语言最早出现在 20 世纪 80 年代,主要基于 Ada 和 Pascal。
- Verilog:Verilog 是有史以来创建的第一款 HDL,今天主要用于测试分析与验证。该语言的内核基于 C 语言。
[编辑] 功能
[编辑] 指南
[编辑] 语言
- HDL for Formal verification
- VHDL VHSIC Hardware Description Language (VHDL) 超高速集成电路硬件描述语言
- Verilog
- SystemVerilog
- SystemC
- GHDL
- Chisel/FIRRTL Hardware Compiler Framework
- Clash A functional hardware description language, Haskell to VHDL/Verilog/SystemVerilog compiler
- Board HDL
[编辑] 项目
[编辑] 图集
[编辑] 链接
分享您的观点