povik / yosys-slangLinks
SystemVerilog frontend for Yosys
☆176Updated 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☆219Updated 8 months ago
- WAL enables programmable waveform analysis.☆162Updated 3 weeks ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆238Updated 2 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆120Updated 2 years ago
- A complete open-source design-for-testing (DFT) Solution☆169Updated 3 months ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆163Updated 3 weeks ago
- A SystemVerilog source file pickler.☆60Updated last year
- Fabric generator and CAD tools.☆209Updated this week
- ☆33Updated 10 months ago
- An automatic clock gating utility☆51Updated 7 months ago
- Control and status register code generator toolchain☆155Updated this week
- RISC-V Nox core☆69Updated 4 months ago
- Making cocotb testbenches that bit easier☆36Updated last month
- ☆94Updated last week
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆165Updated last week
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 10 months ago
- ☆110Updated 3 weeks ago
- ASIC implementation flow infrastructure, successor to OpenLane☆195Updated last week
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Python packages providing a library for Verification Stimulus and Coverage☆131Updated 2 weeks ago
- 55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd.☆137Updated last week
- This repository contains all the information needed to run RTL2GDSII flow using openlane flow. Apart from that, it also contain procedure…☆76Updated 5 years ago
- Introductory course into static timing analysis (STA).☆99Updated 4 months ago
- Functional Coverage and Constrained Randomization Extensions for Cocotb☆117Updated 2 months ago
- A Standalone Structural Verilog Parser☆99Updated 3 years ago
- ☆87Updated last month
- Playing around with Formal Verification of Verilog and VHDL☆64Updated 4 years ago
- Mutation Cover with Yosys (MCY)☆88Updated this week
- Python bindings for slang, a library for compiling SystemVerilog☆65Updated 10 months ago
- Determines the modules declared and instantiated in a SystemVerilog file☆48Updated last year