kaist-cp / hazardflowLinks
HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
☆19Updated 6 months ago
Alternatives and similar repositories for hazardflow
Users that are interested in hazardflow are comparing it to the libraries listed below
Sorting:
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆54Updated 5 months ago
- ☆40Updated 7 months ago
- KAIST Educational Virtualization☆15Updated 8 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆16Updated 2 years ago
- ☆130Updated 2 years ago
- ☆23Updated 4 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- Tutorial for refinement based verification☆12Updated last year
- A Hardware Pipeline Description Language☆45Updated last year
- ☆19Updated last year
- CIRC: Concurrent Immediate Reference Counting☆52Updated 7 months ago
- BTOR2 MLIR project☆26Updated last year
- ☆15Updated 2 years ago
- ☆44Updated 3 weeks ago
- ☆22Updated 4 years ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- ☆40Updated 3 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆163Updated last week
- Asynchronous semantics for architectural simulation and synthesis.☆34Updated this week
- Verilog AST☆21Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- ☆19Updated 11 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆14Updated 3 weeks ago
- ☆60Updated 2 weeks ago
- Website for CS 265☆29Updated 5 months ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- ☆15Updated 3 months ago
- A formalization of the RVWMO (RISC-V) memory model☆33Updated 3 years ago
- HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA☆10Updated 3 years ago
- The source code to the Voss II Hardware Verification Suite☆56Updated 2 months ago