broccolimicro / loomLinks
design and verification of asynchronous circuits
☆42Updated 2 weeks ago
Alternatives and similar repositories for loom
Users that are interested in loom are comparing it to the libraries listed below
Sorting:
- ☆33Updated last year
- A configurable SRAM generator☆58Updated 5 months ago
- ☆20Updated last year
- ☆38Updated 3 years ago
- 21st century electronic design automation tools, written in Rust.☆35Updated this week
- An automatic clock gating utility☆52Updated 9 months ago
- ☆59Updated 3 years ago
- Equivalence checking with Yosys☆57Updated 3 weeks ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 7 months ago
- Logic circuit analysis and optimization☆44Updated 5 months ago
- AXI Formal Verification IP☆22Updated 4 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆119Updated 8 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆44Updated 2 years ago
- Hardware generator debugger☆77Updated last year
- Mutation Cover with Yosys (MCY)☆90Updated 3 weeks ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆23Updated 2 weeks ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 4 months ago
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- ☆58Updated 10 months ago
- Gate-level visualization generator for SKY130-based chip designs.☆20Updated 4 years ago
- Prefix tree adder space exploration library☆56Updated 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
- A SystemVerilog source file pickler.☆60Updated last year
- ☆24Updated 4 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆22Updated 3 years ago
- Testing processors with Random Instruction Generation☆52Updated 3 weeks ago
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆49Updated last year
- A place to share libraries and utilities that don't belong in the core bsc repo☆38Updated 3 weeks ago
- RTLMeter benchmark suite☆29Updated last week
- Debuggable hardware generator☆71Updated 2 years ago