Nic30 / hwtHls
LLVM based HLS library for HWToolkit (hardware devel. toolkit)
☆25Updated 2 months ago
Related projects: ⓘ
- Debuggable hardware generator☆66Updated last year
- ☆35Updated 2 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆30Updated 3 months ago
- Constrained RAndom Verification Enviroment (CRAVE)☆14Updated 9 months ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated last year
- A command-line tool for displaying vcd waveforms.☆44Updated 7 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆38Updated last year
- ☆30Updated 11 months ago
- A simple dot file / graph generator for Verilog syntax trees.☆21Updated 8 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆17Updated 2 years ago
- Basic Common Modules☆34Updated 3 months ago
- Extended and external tests for Verilator testing☆14Updated last week
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 6 months ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆74Updated 3 weeks ago
- SystemVerilog language server client for Visual Studio Code☆20Updated last year
- An automatic clock gating utility☆40Updated 2 months ago
- Intel Compiler for SystemC☆23Updated last year
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- This is the Verilog 2005 parser used by VerilogCreator☆10Updated 5 years ago
- A SystemVerilog source file pickler.☆49Updated 9 months ago
- A RISC-V processor written in BSV, based on the Flute core. Has support for integrating tightly-coupled accelerators, and for integrating…☆20Updated last year
- slang-based frontend for Yosys☆28Updated this week
- ☆51Updated 2 years ago
- Open Source PHY v2☆23Updated 4 months ago
- mantle library☆42Updated last year
- Cross EDA Abstraction and Automation☆33Updated last week
- Collection of test cases for Yosys☆17Updated 2 years ago
- Equivalence checking with Yosys☆29Updated this week
- Verilog Modules and Python Scripts for Creating IP Core Build Directories☆29Updated 10 months ago