cucapra / filament
Fearless hardware design
☆175Updated last week
Alternatives and similar repositories for filament:
Users that are interested in filament are comparing it to the libraries listed below
- Intermediate Language (IL) for Hardware Accelerator Generators☆527Updated this week
- A hardware compiler based on LLHD and CIRCT☆256Updated last year
- Low Level Hardware Description — A foundation for building hardware design tools.☆411Updated 2 years ago
- A core language for rule-based hardware design 🦑☆148Updated 6 months ago
- Time-sensitive affine types for predictable hardware generation☆142Updated 9 months ago
- An HDL embedded in Rust.☆197Updated last year
- Veryl: A Modern Hardware Description Language☆614Updated this week
- End-to-end synthesis and P&R toolchain☆79Updated 3 weeks ago
- A new Hardware Design Language that keeps you in the driver's seat☆78Updated this week
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆56Updated last week
- A configurable and approachable tool for FPGA debugging and rapid prototyping.☆135Updated last week
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆71Updated 7 months ago
- Verilator Porcelain☆48Updated last year
- A dependency management tool for hardware projects.☆292Updated this week
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆209Updated 11 months ago
- Working Draft of the RISC-V J Extension Specification☆184Updated 2 months ago
- ☆264Updated this week
- A Hardware Description Language based on the Rust Programming Language☆200Updated last week
- The LLHD reference simulator.☆37Updated 4 years ago
- Where Lions Roam: RISC-V on the VELDT☆257Updated 8 months ago
- 🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆41Updated 2 weeks ago
- A configurable RTL to bitstream FPGA toolchain☆21Updated 2 weeks ago
- A computer for human beings.☆44Updated 5 months ago
- Tile based architecture designed for computing efficiency, scalability and generality☆250Updated last month
- Ocelot: The Berkeley Out-of-Order Machine With V-EXT support☆160Updated 3 months ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆65Updated this week
- ☆77Updated 3 weeks ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆72Updated 2 years ago
- RISC-V Formal Verification Framework☆131Updated this week
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆151Updated 6 months ago