14 results found Sort:
- Filter by Primary Language:
- Verilog (3)
- Coq (2)
- C++ (2)
- VHDL (2)
- Python (1)
- Haskell (1)
- Bluespec (1)
- Rust (1)
- +
Haskell to VHDL/Verilog/SystemVerilog compiler
Created
2013-07-04
6,057 commits to master branch, last one 16 days ago
Hardware Description Languages
Created
2017-04-12
165 commits to master branch, last one 7 months ago
A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.
Created
2018-05-03
1,740 commits to master branch, last one 13 days ago
一篇全面的 Bluespec SystemVerilog (BSV) 中文教程,介绍了BSV的调度、FIFO数据流、多态等高级特性,展示了BSV相比于传统Verilog开发的优势。
Created
2022-02-20
19 commits to main branch, last one about a year ago
SystemRDL 2.0 language compiler front-end
Created
2018-03-11
564 commits to main branch, last one 3 days ago
Fearless hardware design
Created
2021-08-11
611 commits to main branch, last one 12 days ago
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Created
2017-07-11
1,470 commits to rv32i branch, last one 2 months ago
A core language for rule-based hardware design 🦑
Created
2020-03-27
1,298 commits to master branch, last one 2 years ago
Control and status register code generator toolchain
Created
2020-04-05
77 commits to main branch, last one a day ago
ACT hardware description language and core tools.
Created
2018-12-10
1,976 commits to master branch, last one 9 hours ago
A new Hardware Design Language that keeps you in the driver's seat
Created
2022-08-08
541 commits to master branch, last one 11 days ago
VHDL Guide
Created
2021-11-08
7 commits to main branch, last one 2 years ago
Dadda multiplier(8*8, 16*16, 32*32) in Verilog HDL.
Created
2021-04-19
10 commits to main branch, last one 6 months ago
Design and documentation for a very simple 4-bit processor named NibbleBuddy and its assembler.
Created
2024-11-30
8 commits to main branch, last one 14 days ago