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.☆26Updated 4 months ago
- Generate interface between Clash and Verilator☆22Updated 10 months ago
- An FPGA reverse engineering and documentation project☆39Updated this week
- A Verilog parser for Haskell.☆34Updated 3 years ago
- ☆29Updated 4 years ago
- 32-bit RISC-V Emulator☆23Updated 6 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated 2 weeks ago
- RFCs for changes to the Amaranth language and standard components☆18Updated 5 months ago
- NixOS on Allwinner D1 RISC-V☆39Updated 2 years ago
- Haskell library for hardware description☆102Updated 3 months ago
- NixOS on Xilinx Zynq and ZynqMP☆26Updated last week
- q3k's hardware monorepo☆16Updated 2 years ago
- Yosys plugin for synthesis of Bluespec code☆15Updated 3 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Updated last year
- A RiscV processor implementing the RV32I instruction set written in Clash☆53Updated 6 years ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- ☆14Updated last year
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated last month
- Hot Reconfiguration Technology demo☆39Updated 2 years ago
- Nix flake for openXC7☆32Updated 2 weeks ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- A Just-In-Time Compiler for Verilog from VMware Research☆22Updated 4 years ago
- A Clash playground/starter kit, using Nix☆35Updated 6 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆28Updated this week
- Industry standard I/O for Amaranth HDL☆28Updated 5 months ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆13Updated 8 years ago
- ☆19Updated this week
- ☆16Updated 3 years ago
- Nix channel with FPGA development tools☆13Updated 4 years ago