benpye / nix-fpga-tools
☆23Updated 3 years ago
Alternatives and similar repositories for nix-fpga-tools:
Users that are interested in nix-fpga-tools are comparing it to the libraries listed below
- HDL development environment on Nix.☆25Updated 3 months ago
- 32-bit RISC-V Emulator☆23Updated 5 years ago
- Generate interface between Clash and Verilator☆22Updated 10 months ago
- ☆27Updated 3 years ago
- NixOS on Allwinner D1 RISC-V☆39Updated 2 years ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- ☆11Updated 7 years ago
- A Clash playground/starter kit, using Nix☆35Updated 6 years ago
- NixOS on Xilinx Zynq and ZynqMP☆25Updated 6 months ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated 2 years ago
- Haskell library for hardware description☆101Updated 2 months ago
- Industry standard I/O for Amaranth HDL☆28Updated 4 months ago
- An FPGA reverse engineering and documentation project☆36Updated last week
- Yosys plugin for synthesis of Bluespec code☆15Updated 3 years ago
- ☆10Updated 3 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆13Updated 8 years ago
- Nix flake for openXC7☆31Updated 3 months ago
- NixOS on the HiFive Unmatched☆98Updated last year
- RFCs for changes to the Amaranth language and standard components☆18Updated 5 months ago
- Iron: selectively turn RISC-V binaries into hardware☆23Updated last year
- a noodly Amaranth HDL-wrapper for FPGA SerDes' presenting a PIPE PHY interface☆32Updated 3 years ago
- ☆13Updated 5 months ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated last week
- ☆14Updated 11 months ago
- ☆44Updated 2 years ago
- Experiments with self-synchronizing LFSR scramblers☆15Updated 4 years ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- Nix channel with FPGA development tools☆13Updated 4 years ago