benpye / nix-fpga-tools
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for nix-fpga-tools
- HDL development environment on Nix.☆23Updated 2 weeks ago
- Generate interface between Clash and Verilator☆22Updated 6 months ago
- NixOS on Allwinner D1 RISC-V☆38Updated 2 years ago
- 32-bit RISC-V Emulator☆23Updated 5 years ago
- ☆27Updated 3 years ago
- A Verilog parser for Haskell.☆33Updated 3 years ago
- A Clash playground/starter kit, using Nix☆35Updated 5 years ago
- Yosys plugin for synthesis of Bluespec code☆14Updated 3 years ago
- Haskell library for hardware description☆98Updated last month
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆13Updated 8 years ago
- RFCs for changes to the Amaranth language and standard components☆17Updated last month
- Industry standard I/O for Amaranth HDL☆26Updated 3 weeks ago
- Example litex Risc-V SOC and some example code projects in multiple languages.☆66Updated last year
- Experiments with Yosys cxxrtl backend☆46Updated 10 months ago
- a noodly Amaranth HDL-wrapper for FPGA SerDes' presenting a PIPE PHY interface☆31Updated 2 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated last year
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated this week
- Finding the bacteria in rotting FPGA designs.☆13Updated 3 years ago
- Notes, scripts and apps to quickfeather board☆10Updated 2 years ago
- CPOL=0, CPHA=0 SPI core for practicing formal verification with yosys☆21Updated 4 years ago
- Nix channel with FPGA development tools☆13Updated 3 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆25Updated last month
- RISC-V out-of-order core for education and research purposes☆37Updated this week
- Hot Reconfiguration Technology demo☆38Updated 2 years ago
- ☆14Updated 10 months ago
- Nix flake for openXC7☆26Updated 2 months ago
- Betrusted embedded controller (UP5K)☆45Updated 10 months ago
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- User-friendly explanation of Yosys options☆111Updated 3 years ago
- iCE40 floorplan viewer☆24Updated 6 years ago