kaist-cp / shakeflowLinks
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
☆54Updated 4 months ago
Alternatives and similar repositories for shakeflow
Users that are interested in shakeflow are comparing it to the libraries listed below
Sorting:
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆19Updated 6 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆16Updated 2 years ago
- ☆40Updated 6 months ago
- CIRC: Concurrent Immediate Reference Counting☆51Updated 6 months ago
- ☆130Updated 2 years ago
- ☆19Updated last year
- KAIST Educational Virtualization☆14Updated 8 months ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- ☆23Updated 4 years ago
- ☆22Updated 3 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆40Updated 6 months ago
- 컴퓨터 신기술 특강☆10Updated last year
- Time-sensitive affine types for predictable hardware generation☆143Updated 10 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆37Updated 7 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆159Updated last month
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- ☆40Updated 3 years ago
- ☆44Updated this week
- Symbolic execution tool for Sail ISA specifications☆67Updated 2 weeks ago
- ☆58Updated this week
- CHERI-RISC-V model written in Sail☆59Updated last month
- ☆15Updated 2 years ago
- Tutorial for refinement based verification☆9Updated last year
- ☆9Updated last year
- ☆76Updated 6 months ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆11Updated 3 years ago
- The Educational RISC-V Toolset in Python☆37Updated 2 years ago
- The source code to the Voss II Hardware Verification Suite☆56Updated last month
- A Hardware Pipeline Description Language☆44Updated last year
- Automatically generate a compiler using equality saturation☆29Updated last year