stanford-ppl / pirLinks
☆15Updated 2 years ago
Alternatives and similar repositories for pir
Users that are interested in pir are comparing it to the libraries listed below
Sorting:
- Wrapper for ETH Ariane Core☆21Updated 3 weeks ago
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆14Updated 2 years ago
- A Rocket-based RISC-V superscalar in-order core☆35Updated 4 months ago
- A coverage library for Chisel designs☆11Updated 5 years ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Updated 6 years ago
- A fault-injection framework using Chisel and FIRRTL☆37Updated this week
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆88Updated this week
- Memory consistency modelling using Alloy☆31Updated 4 years ago
- Fluid Pipelines☆11Updated 7 years ago
- ☆17Updated 3 months ago
- An RTL generator for a last-level shared inclusive TileLink cache controller☆22Updated 8 months ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆30Updated last month
- The 3rd Iteration of the Berkeley RISC-V DMA Accelerator☆28Updated 5 years ago
- A eDSL framework based on Scala and MLIR, focusing on the Hardware design.☆54Updated this week
- ☆13Updated 4 years ago
- ☆21Updated 7 months ago
- BFM Tester for Chisel HDL☆14Updated 3 years ago
- A scala based simulator for circuits described by a LoFirrtl file☆50Updated 2 years ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆29Updated 8 months ago
- PipeProof☆11Updated 5 years ago
- ☆19Updated last year
- compiling DSLs to high-level hardware instructions☆23Updated 2 years ago
- Chisel/Firrtl execution engine☆154Updated last year
- A prototype GUI for chisel-development☆52Updated 5 years ago
- ☆12Updated 4 years ago
- ☆21Updated 6 months ago
- NOCulator is a network-on-chip simulator providing cycle-accurate performance models for a wide variety of networks (mesh, torus, ring, h…☆27Updated 2 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆77Updated last year
- PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g.,…☆22Updated 3 months ago