Alternatives and similar repositories for lc4-labs

Users that are interested in lc4-labs are comparing it to the libraries listed below

• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆70Updated last year
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆26Updated last year
• snipersim / snipersim
  The Sniper Multi-Core Simulator
  ☆134Updated 7 months ago
• ucb-bar / chipyard-cs152-sp23
  An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
  ☆12Updated 10 months ago
• PrincetonUniversity / IMDb-Archive
  ILA Model Database
  ☆23Updated 4 years ago
• kvakil / venus
  RISC-V instruction set simulator built for education
  ☆203Updated 3 years ago
• hpsresearchgroup / scarab
  Joint HPS and ETH Repository to work towards open sourcing Scarab and Ramulator
  ☆78Updated last year
• gem5 / gem5-resources
  The official repository for the gem5 resources sources.
  ☆72Updated last month
• florianhirner / proteus
  ☆15Updated last year
• CMU-SAFARI / SoftMC
  SoftMC is an experimental FPGA-based memory controller design that can be used to develop tests for DDR3 SODIMMs using a C++ based API. T…
  ☆134Updated last year
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆56Updated last year
• zilongwang123 / LeaVe
  A tool for checking the contract satisfaction for hardware designs
  ☆11Updated 7 months ago
• RipperJ / RISC-V_CPU
  RISC-V 32i Pipeline CPU and Assembler
  ☆18Updated 3 years ago
• acmert / parametric-ntt
  Parametric NTT/INTT Hardware Generator
  ☆72Updated 4 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆156Updated 2 weeks ago
• FPSG-UIUC / teaal-compiler
  ☆16Updated 7 months ago
• PolyArch / dsa-framework
  Release of stream-specialization software/hardware stack.
  ☆122Updated 2 years ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆79Updated this week
• Smattr / rumur
  yet another model checker
  ☆20Updated last month
• ramisheikh / cbp2025
  Championship Branch Prediction 2025
  ☆48Updated last month
• PrincetonUniversity / stripes
  ☆14Updated 7 months ago
• ChampSim / ChampSim
  ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture …
  ☆602Updated 3 weeks ago
• CMU-SAFARI / Pythia
  A customizable hardware prefetching framework using online reinforcement learning as described in the MICRO 2021 paper by Bera et al. (ht…
  ☆143Updated 3 months ago
• Shuiliusheng / boom_stop
  jump to a place when progam runs to the max instruction number
  ☆12Updated last year
• cirosantilli / parsec-benchmark
  PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 22.04 and with proper version control and SPLASH2 port…
  ☆96Updated 7 months ago
• harvard-acc / gem5-aladdin
  End-to-end SoC simulation: integrating the gem5 system simulator with the Aladdin accelerator simulator.
  ☆239Updated 2 years ago
• xiang-rc / cfntt_ref
  ☆35Updated 10 months ago
• tukl-msd / DRAMPower
  Fast and accurate DRAM power and energy estimation tool
  ☆165Updated this week
• CMU-SAFARI / ramulator2
  Ramulator 2.0 is a modern, modular, extensible, and fast cycle-accurate DRAM simulator. It provides support for agile implementation and …
  ☆352Updated last month
• YosysHQ / riscv-formal
  RISC-V Formal Verification Framework
  ☆141Updated 2 weeks ago