povik / fold
high abstraction synthesis
☆10Updated last year
Alternatives and similar repositories for fold:
Users that are interested in fold are comparing it to the libraries listed below
- Documenting the Lattice ECP5 bit-stream format.☆54Updated last year
- An FPGA reverse engineering and documentation project☆43Updated 2 weeks ago
- PicoRV☆44Updated 5 years ago
- Experiments with Yosys cxxrtl backend☆48Updated 3 months ago
- a noodly Amaranth HDL-wrapper for FPGA SerDes' presenting a PIPE PHY interface☆32Updated 3 years ago
- This repository contain source code for ngspice and ghdl integration☆30Updated 3 months ago
- An experiment for building gateware for the axiom micro / beta using amaranth-hdl☆40Updated last week
- 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
- lightweight open HLS for FPGA rapid prototyping☆20Updated 7 years ago
- Small footprint and configurable HyperBus core☆11Updated 2 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated 2 weeks ago
- ☆22Updated last year
- A reconfigurable logic circuit made of identical rotatable tiles.☆21Updated 3 years ago
- Library of reusable VHDL components☆28Updated last year
- Board and connector definition files for nMigen☆30Updated 4 years ago
- System on Chip toolkit for Amaranth HDL☆88Updated 6 months ago
- mantle library☆44Updated 2 years ago
- Nix flake for openXC7☆34Updated 3 weeks ago
- ☆39Updated 2 years ago
- 🔥 Technology-agnostic FPGA stress-test: maximum logic utilization and high dynamic power consumption.☆29Updated 2 years ago
- Finding the bacteria in rotting FPGA designs.☆13Updated 4 years ago
- Raptor end-to-end FPGA Compiler and GUI☆78Updated 4 months ago
- Xilinx Unisim Library in Verilog☆76Updated 4 years ago
- PCIe Endpoint on Xilinx 7-Series FPGAs with the PCIE_2_1 hard block and GTP transceivers☆32Updated 3 weeks ago
- End-to-end synthesis and P&R toolchain☆81Updated 3 weeks ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- A padring generator for ASICs☆25Updated last year
- SystemVerilog frontend for Yosys☆96Updated this week
- FuseSoc Verification Automation☆22Updated 2 years ago
- An automatic clock gating utility☆47Updated last week