欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hardware description language
来自开放百科 - 灰狐
(版本间的差异)
小 (→图集) |
小 (→链接) |
||
第35行: | 第35行: | ||
[[category:HDL]] | [[category:HDL]] | ||
[[category:EDA]] | [[category:EDA]] | ||
+ | [[category:hardware]] | ||
+ | [[category:formal]] |
2022年5月20日 (五) 03:57的版本
您可以在Wikipedia上了解到此条目的英文信息 Hardware description language Thanks, Wikipedia. |
硬件描述语言(hardware description language, HDL)
目录 |
简介
硬件描述语言(HDL)的行为级建模是现代专用集成电路(ASIC)和现场可编程门阵列(FPGA)设计的关键。
功能
指南
语言
- 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
项目
图集
链接
分享您的观点