Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mit-plv/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
bluespec coq hardware-description-language hardware-verification proof-assistant
Last synced: 25 Jun 2024
![](https://github.com/mit-plv.png)
https://github.com/WangXuan95/BSV_Tutorial_cn
一篇全面的 Bluespec SystemVerilog (BSV) 中文教程,介绍了BSV的调度、FIFO数据流、多态等高级特性,展示了BSV相比于传统Verilog开发的优势。
bluespec bluespec-systemverilog bsv fpga hardware-description-language hdl verilog
Last synced: 14 Jun 2024
![](https://github.com/WangXuan95.png)