povik / yosys-slang
slang-based frontend for Yosys
☆28Updated this week
Related projects: ⓘ
- An automatic clock gating utility☆40Updated 2 months ago
- ☆28Updated 2 weeks ago
- ☆30Updated 11 months ago
- ☆35Updated 2 years ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Li…☆25Updated this week
- A configurable SRAM generator☆41Updated last week
- A SystemVerilog source file pickler.☆49Updated 9 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆38Updated last year
- SystemVerilog Linter based on pyslang☆19Updated 6 months ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 6 months ago
- YosysHQ SVA AXI Properties☆29Updated last year
- Open source RTL simulation acceleration on commodity hardware☆21Updated last year
- A command-line tool for displaying vcd waveforms.☆44Updated 7 months ago
- Equivalence checking with Yosys☆29Updated this week
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆59Updated last week
- Proposed RISC-V Composable Custom Extensions Specification☆66Updated 4 months ago
- Gate-level visualization generator for SKY130-based chip designs.☆20Updated 3 years ago
- ☆31Updated last year
- fakeram generator for use by researchers who do not have access to commercial ram generators☆30Updated last year
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆34Updated last year
- Making cocotb testbenches that bit easier☆18Updated last week
- ☆51Updated 2 years ago
- Hardware generator debugger☆71Updated 7 months ago
- The OpenPiton Platform☆15Updated last month
- KLayout technology files for ASAP7 FinFET educational process☆18Updated last year
- Yosys plugin for logic locking and supply-chain security☆20Updated 2 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆72Updated 5 months ago
- ☆13Updated 4 years ago
- ☆12Updated this week
- Open Source PHY v2☆23Updated 4 months ago