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 months ago
- A Rocket-based RISC-V superscalar in-order core☆36Updated 2 months ago
- A scala based simulator for circuits described by a LoFirrtl file☆49Updated 2 years ago
- ☆24Updated 5 years ago
- Memory consistency modelling using Alloy☆31Updated 5 years 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
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆14Updated 2 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 3 months ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Updated 7 years ago
- Useful utilities for BAR projects☆32Updated last year
- A coverage library for Chisel designs☆11Updated 5 years ago
- ☆23Updated 10 months ago
- ☆11Updated 3 years ago
- Netrace: a network packet trace reader☆13Updated 11 years ago
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆92Updated last week
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆34Updated 11 months ago
- Chisel/Firrtl execution engine☆153Updated last year
- Papers, Posters, Presentations, Documentation...☆19Updated last year
- A formalization of the RVWMO (RISC-V) memory model☆35Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- Dynamically Reconfigurable Architecture Template and Cycle-level Microarchitecture Simulator for Dataflow AcCelerators☆30Updated 2 years ago
- A Language for Closed-form High-level ARchitecture Modeling☆21Updated 5 years ago
- ☆40Updated 4 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Updated last year
- FPGA synthesis tool powered by program synthesis☆52Updated last week
- ☆29Updated 8 years ago
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆33Updated 4 months ago
- A prototype GUI for chisel-development☆51Updated 5 years ago
- An RTL generator for a last-level shared inclusive TileLink cache controller☆22Updated 11 months ago