povik / yosys-slangLinks
SystemVerilog frontend for Yosys
☆123Updated this week
Alternatives and similar repositories for yosys-slang
Users that are interested in yosys-slang are comparing it to the libraries listed below
Sorting:
- SystemVerilog synthesis tool☆196Updated 3 months ago
- WAL enables programmable waveform analysis.☆154Updated 2 weeks ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆147Updated last year
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 4 months ago
- Making cocotb testbenches that bit easier☆33Updated this week
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆114Updated last year
- Python bindings for slang, a library for compiling SystemVerilog☆59Updated 5 months ago
- An automatic clock gating utility☆49Updated 2 months ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆113Updated this week
- A SystemVerilog source file pickler.☆57Updated 8 months ago
- Prefix tree adder space exploration library☆57Updated 7 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- ☆79Updated last year
- A command-line tool for displaying vcd waveforms.☆59Updated last year
- Mutation Cover with Yosys (MCY)☆84Updated 2 weeks ago
- ☆96Updated last year
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆44Updated 4 months ago
- RISC-V Formal Verification Framework☆141Updated last week
- OSVVM Documentation☆34Updated this week
- Documentation for the 5 day workshop: Advanced Physical Design using OpenLane/Sky130☆63Updated 2 years ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆219Updated last week
- Python packages providing a library for Verification Stimulus and Coverage☆122Updated 3 weeks ago
- ☆32Updated 5 months ago
- HaDes-V is an Open Educational Resource for learning microcontroller design. It guides you through creating a pipelined 32-bit RISC-V pro…☆61Updated 2 weeks ago
- Control and status register code generator toolchain☆138Updated 3 weeks ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆67Updated last year
- Fabric generator and CAD tools.☆187Updated last week
- FuseSoC standard core library☆143Updated 3 weeks ago
- Playing around with Formal Verification of Verilog and VHDL☆58Updated 4 years ago
- Introductory course into static timing analysis (STA).☆95Updated 2 months ago