cucapra / filamentLinks
Fearless hardware design
☆184Updated 4 months ago
Alternatives and similar repositories for filament
Users that are interested in filament are comparing it to the libraries listed below
Sorting:
- A new Hardware Design Language that keeps you in the driver's seat☆122Updated last week
- Intermediate Language (IL) for Hardware Accelerator Generators☆570Updated last week
- A hardware compiler based on LLHD and CIRCT☆264Updated 5 months ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆424Updated 3 years ago
- A core language for rule-based hardware design 🦑☆166Updated 2 weeks ago
- Time-sensitive affine types for predictable hardware generation☆147Updated last month
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆37Updated this week
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆77Updated last week
- Working Draft of the RISC-V J Extension Specification☆191Updated this week
- The SiFive wake build tool☆91Updated this week
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆222Updated last year
- Verilator Porcelain☆49Updated 2 years ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆103Updated this week
- RISCV Core written in Calyx☆17Updated last year
- End-to-end synthesis and P&R toolchain☆92Updated 3 weeks ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆88Updated last week
- A collection of common Bluespec interfaces/modules.☆102Updated last year
- An HDL embedded in Rust.☆202Updated 2 years ago
- ☆304Updated last week
- High level synthesis language for hardware design☆79Updated last week
- An rv32i inspired ISA, SIMT GPU implementation in system-verilog.☆212Updated 10 months ago
- Veryl: A Modern Hardware Description Language☆846Updated this week
- RISC-V Formal Verification Framework☆170Updated this week
- ☆40Updated 4 years ago
- Logic circuit analysis and optimization☆45Updated 4 months ago
- A configurable RTL to bitstream FPGA toolchain☆55Updated last week
- A computer for human beings.☆48Updated last year
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆91Updated 2 months ago
- Ocelot: The Berkeley Out-of-Order Machine With V-EXT support☆205Updated last week
- Sail architecture definition language☆818Updated this week