thoughtpolice / yosys-bluespec
Yosys plugin for synthesis of Bluespec code
☆14Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for yosys-bluespec
- RISC-V BSV Specification☆17Updated 4 years ago
- A Verilog parser for Haskell.☆33Updated 3 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated 2 weeks ago
- a noodly Amaranth HDL-wrapper for FPGA SerDes' presenting a PIPE PHY interface☆31Updated 2 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆33Updated 4 years ago
- Notes, scripts and apps to quickfeather board☆10Updated 2 years ago
- ☆22Updated 2 years ago
- iCE40 floorplan viewer☆24Updated 6 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆13Updated 5 years ago
- Some materials and sample source for RV32 OS projects.☆21Updated 2 years ago
- Benchmarks for Yosys development☆22Updated 4 years ago
- ✔️Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.☆25Updated this week
- Experiments with Yosys cxxrtl backend☆47Updated 10 months ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- A Verilog Synthesis Regression Test☆34Updated 8 months ago
- Mutation Cover with Yosys (MCY)☆77Updated 2 weeks ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Updated 8 years ago
- Experiments with self-synchronizing LFSR scramblers☆15Updated 4 years ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆33Updated this week
- chipy hdl☆17Updated 6 years ago
- OpenRISC processor IP core based on Tomasulo algorithm☆29Updated 2 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆25Updated 2 months ago
- CPOL=0, CPHA=0 SPI core for practicing formal verification with yosys☆21Updated 4 years ago
- A bit-serial CPU☆18Updated 5 years ago
- Finding the bacteria in rotting FPGA designs.☆13Updated 3 years ago
- ☆10Updated 5 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated last year
- Filter builder tool☆17Updated 2 years ago
- Single, dual, quad, eight, and sixteen-shader GP-GPU-Compute engines, along with 32-bit SYMPL RISC CPU and Coarse-Grained Scheduler, in o…☆22Updated 5 years ago
- A RocketChip rv64imac blinky for yosys/nextpnr/trellis & the Lattice ECP5 fpga☆25Updated 5 years ago