povik / yosys-slangLinks
SystemVerilog frontend for Yosys
☆151Updated last 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☆208Updated 5 months ago
- WAL enables programmable waveform analysis.☆155Updated 2 months ago
- A complete open-source design-for-testing (DFT) Solution☆164Updated 2 months ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆155Updated last month
- An automatic clock gating utility☆50Updated 4 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆117Updated last year
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆229Updated 3 weeks ago
- ☆32Updated 7 months ago
- Making cocotb testbenches that bit easier☆36Updated last month
- Fabric generator and CAD tools.☆193Updated this week
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆132Updated last week
- RISC-V Nox core☆68Updated last month
- ☆49Updated 4 months ago
- A SystemVerilog source file pickler.☆59Updated 10 months ago
- Introductory course into static timing analysis (STA).☆96Updated last month
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 6 months ago
- ASIC implementation flow infrastructure☆80Updated last week
- ☆79Updated last year
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆75Updated last month
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Control and status register code generator toolchain☆143Updated 2 weeks ago
- A command-line tool for displaying vcd waveforms.☆59Updated last year
- Mutation Cover with Yosys (MCY)☆85Updated 2 weeks ago
- Python packages providing a library for Verification Stimulus and Coverage☆126Updated last month
- Functional Coverage and Constrained Randomization Extensions for Cocotb☆115Updated last year
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆107Updated 4 years ago
- ☆83Updated 2 years ago
- Playing around with Formal Verification of Verilog and VHDL☆62Updated 4 years ago
- ☆107Updated last week
- SpinalHDL Hardware Math Library☆89Updated last year