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 4 months ago
- ☆40Updated 6 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆16Updated 2 years ago
- KAIST Educational Virtualization☆14Updated 8 months ago
- CIRC: Concurrent Immediate Reference Counting☆51Updated 6 months ago
- ☆130Updated 2 years ago
- ☆40Updated 3 years ago
- ☆22Updated 3 years ago
- ☆23Updated 4 years ago
- A Hardware Pipeline Description Language☆44Updated last year
- ☆44Updated this week
- The Educational RISC-V Toolset in Python☆37Updated 2 years ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- ☆19Updated last year
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆159Updated last month
- Verilog AST☆21Updated last year
- ☆58Updated this week
- Tutorial for refinement based verification☆9Updated last year
- ☆76Updated 6 months ago
- BTOR2 MLIR project☆25Updated last year
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆14Updated this week
- ☆15Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- The source code to the Voss II Hardware Verification Suite☆56Updated last month
- work in progress, playing around with btor2 in rust☆11Updated 2 weeks ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆94Updated 2 weeks ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆37Updated 7 months ago
- FPGA synthesis tool powered by program synthesis☆48Updated 2 weeks ago
- The LLHD reference simulator.☆38Updated 4 years ago