eschkufz / cascade
A Just-In-Time Compiler for Verilog from VMware Research
☆22Updated 4 years ago
Alternatives and similar repositories for cascade:
Users that are interested in cascade are comparing it to the libraries listed below
- Debuggable hardware generator☆68Updated 2 years ago
- System on Chip toolkit for Amaranth HDL☆86Updated 5 months ago
- Reticle evaluation (PLDI 2021)☆12Updated 3 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Updated last year
- User-friendly explanation of Yosys options☆112Updated 3 years ago
- RFCs for changes to the Amaranth language and standard components☆18Updated 5 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆28Updated this week
- Experiments with Yosys cxxrtl backend☆47Updated last month
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- MR1 formally verified RISC-V CPU☆54Updated 6 years ago
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- Logic circuit analysis and optimization☆33Updated 4 months ago
- Hardware generator debugger☆73Updated last year
- Exploring gate level simulation☆56Updated 2 years ago
- An automatic clock gating utility☆44Updated 7 months ago
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆27Updated 11 years ago
- Industry standard I/O for Amaranth HDL☆28Updated 5 months ago
- Dual-issue RV64IM processor for fun & learning☆57Updated last year
- A place to share libraries and utilities that don't belong in the core bsc repo☆33Updated this week
- ☆26Updated 3 weeks ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- PicoRV☆44Updated 5 years ago
- RISC-V CPU implementation in Amaranth HDL (aka nMigen)☆28Updated 6 months ago
- An FPGA reverse engineering and documentation project☆39Updated this week
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆25Updated 4 years ago
- Whisk: 16-bit serial processor for TT02☆13Updated 5 months ago
- FPGA optimized RISC-V (RV32IM) implemenation☆34Updated 4 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated last month
- Chisel library for Unum Type-III Posit Arithmetic☆36Updated 11 months ago