povik / fold
high abstraction synthesis
☆10Updated 11 months ago
Alternatives and similar repositories for fold:
Users that are interested in fold are comparing it to the libraries listed below
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated 3 weeks ago
- PicoRV☆44Updated 5 years ago
- ☆39Updated 2 years ago
- This repository contain source code for ngspice and ghdl integration☆30Updated 2 months ago
- Experiments with Yosys cxxrtl backend☆48Updated 2 months ago
- ☆22Updated last year
- KLayout technology files for ASAP7 FinFET educational process☆20Updated 2 years ago
- An FPGA reverse engineering and documentation project☆41Updated this week
- Documenting the Lattice ECP5 bit-stream format.☆54Updated last year
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆43Updated 3 months ago
- An automatic clock gating utility☆45Updated 8 months 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
- Small footprint and configurable HyperBus core☆11Updated 2 years ago
- System on Chip toolkit for Amaranth HDL☆86Updated 5 months ago
- a noodly Amaranth HDL-wrapper for FPGA SerDes' presenting a PIPE PHY interface☆32Updated 3 years ago
- A current mode buck converter on the SKY130 PDK☆27Updated 3 years ago
- Board and connector definition files for nMigen☆30Updated 4 years ago
- Test Chip General Purpose OpAmp using Skywater SKY130 PDK☆18Updated 4 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆26Updated 4 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- An experiment for building gateware for the axiom micro / beta using amaranth-hdl☆40Updated 11 months ago
- SystemVerilog frontend for Yosys☆81Updated 2 weeks ago
- Finding the bacteria in rotting FPGA designs.☆13Updated 4 years ago
- Mirror of https://codeberg.org/ECP5-PCIe/ECP5-PCIe☆95Updated last year
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆40Updated 3 months ago
- Mutation Cover with Yosys (MCY)☆80Updated 3 weeks ago
- A modern schematic entry and simulation program☆68Updated last year
- A padring generator for ASICs☆25Updated last year
- mantle library☆44Updated 2 years ago