欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hardware description language
来自开放百科 - 灰狐
(版本间的差异)
小 (→语言) |
小 (→图集) |
||
第27行: | 第27行: | ||
image:EDA-and-IP-Design.jpg|EDA和IP设计 | image:EDA-and-IP-Design.jpg|EDA和IP设计 | ||
image:ghdl-internals.png|GHDL架构 | image:ghdl-internals.png|GHDL架构 | ||
+ | image:Formal-verification-VLSI-design.png|VLSI设计形式化验证 | ||
</gallery> | </gallery> | ||
2022年5月19日 (四) 23:38的版本
您可以在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
项目
图集
链接
分享您的观点