欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hardware description language
来自开放百科 - 灰狐
(版本间的差异)
小 (→图集) |
小 (→链接) |
||
第38行: | 第38行: | ||
==链接== | ==链接== | ||
*[https://www.elecfans.com/emb/fpga/2009062070674.html 硬件描述语言HDL的现状与发展] | *[https://www.elecfans.com/emb/fpga/2009062070674.html 硬件描述语言HDL的现状与发展] | ||
+ | *[https://www.synopsys.com/verification.html Scalable SoC Verification] | ||
[[category:HDL]] | [[category:HDL]] |
2022年5月25日 (三) 00:15的版本
您可以在Wikipedia上了解到此条目的英文信息 Hardware description language Thanks, Wikipedia. |
硬件描述语言(hardware description language, HDL)
目录 |
简介
硬件描述语言(HDL)的行为级建模是现代专用集成电路(ASIC)和现场可编程门阵列(FPGA)设计的关键。
VHDL 是一种对数字硬件系统进行设计和建模的语言。
其中,基于 Ada 语言的 VHDL 和基于 C 语言的 Verilog 最为流行。
功能
指南
语言
- 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
项目
图集
链接
分享您的观点