broccolimicro / loomLinks
design and verification of asynchronous circuits
☆39Updated last week
Alternatives and similar repositories for loom
Users that are interested in loom are comparing it to the libraries listed below
Sorting:
- 21st century electronic design automation tools, written in Rust.☆31Updated last week
- Equivalence checking with Yosys☆45Updated last week
- An automatic clock gating utility☆50Updated 3 months ago
- Library of open source Process Design Kits (PDKs)☆48Updated 3 weeks ago
- Hardware abstraction library☆30Updated 2 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- ☆32Updated 6 months ago
- A configurable SRAM generator☆53Updated last week
- ☆37Updated 3 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- ☆19Updated last year
- ☆56Updated 3 years ago
- An open source PDK using TIGFET 10nm devices.☆49Updated 2 years ago
- AXI Formal Verification IP☆20Updated 4 years ago
- ☆47Updated 3 months ago
- Coriolis VLSI EDA Tool (LIP6)☆68Updated last week
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- GL0AM GPU Accelerated Gate Level Logic Simulator☆22Updated 2 weeks ago
- Raptor end-to-end FPGA Compiler and GUI☆83Updated 7 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated 3 weeks ago
- A SystemVerilog source file pickler.☆59Updated 8 months ago
- CMake based hardware build system☆29Updated 2 weeks ago
- Mutation Cover with Yosys (MCY)☆85Updated last week
- YosysHQ SVA AXI Properties☆41Updated 2 years ago
- Structural Netlist API (and more) for EDA post synthesis flow development☆111Updated this week
- A tool for synthesizing Verilog programs☆95Updated last week
- ☆33Updated 2 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆22Updated last month
- Open source RTL simulation acceleration on commodity hardware☆28Updated 2 years ago
- Fast PnR toolchain for CGRA☆18Updated 11 months ago