povik / yosys-slang
SystemVerilog frontend for Yosys
☆71Updated 2 weeks ago
Alternatives and similar repositories for yosys-slang:
Users that are interested in yosys-slang are comparing it to the libraries listed below
- ☆31Updated last month
- A SystemVerilog source file pickler.☆54Updated 3 months ago
- An automatic clock gating utility☆43Updated 7 months ago
- ☆31Updated last year
- Python bindings for slang, a library for compiling SystemVerilog☆55Updated 3 weeks ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 5 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- Making cocotb testbenches that bit easier☆27Updated last month
- A command-line tool for displaying vcd waveforms.☆51Updated 11 months ago
- ☆36Updated 2 years ago
- Mutation Cover with Yosys (MCY)☆81Updated this week
- Determines the modules declared and instantiated in a SystemVerilog file☆43Updated 4 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 9 months ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆49Updated this week
- WAL enables programmable waveform analysis.☆144Updated this week
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- ☆32Updated 4 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆75Updated 10 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆43Updated 4 years ago
- Library of open source Process Design Kits (PDKs)☆33Updated last week
- ☆17Updated this week
- ideas and eda software for vlsi design☆49Updated this week
- RISC-V Nox core☆62Updated 6 months ago
- Python interface for cross-calling with HDL☆30Updated this week
- SystemVerilog Linter based on pyslang☆29Updated last month
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 9 months ago
- SystemVerilog synthesis tool☆177Updated this week
- ☆86Updated last year
- A configurable SRAM generator☆42Updated last month
- ☆40Updated 5 years ago