broccolimicro / loomLinks
design and verification of asynchronous circuits
☆41Updated 3 weeks ago
Alternatives and similar repositories for loom
Users that are interested in loom are comparing it to the libraries listed below
Sorting:
- An automatic clock gating utility☆51Updated 7 months ago
- ☆33Updated 11 months ago
- A configurable SRAM generator☆56Updated 3 months ago
- 21st century electronic design automation tools, written in Rust.☆33Updated last week
- ☆20Updated last year
- ☆38Updated 3 years ago
- RTLMeter benchmark suite☆28Updated this week
- AXI Formal Verification IP☆21Updated 4 years ago
- Mutation Cover with Yosys (MCY)☆88Updated last week
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆35Updated 5 years ago
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- Hardware abstraction library