Alternatives and similar repositories for simulator-independent-coverage

Users that are interested in simulator-independent-coverage are comparing it to the libraries listed below

• sycuricon / MorFuzz

  View on GitHub
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆49Apr 22, 2025Updated 9 months ago
• comsec-group / encarsia

  View on GitHub
  ☆27Mar 31, 2025Updated 10 months ago
• cascade-artifacts-designs / cascade-meta

  View on GitHub
  ☆13Apr 7, 2025Updated 10 months ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Feb 3, 2026Updated last week
• ics-jku / spinalfuzz

  View on GitHub
  Fuzzing for SpinalHDL
  ☆17Oct 10, 2022Updated 3 years ago
• ekiwi / rfuzz

  View on GitHub
  rfuzz: coverage-directed fuzzing for RTL research platform
  ☆113May 12, 2022Updated 3 years ago
• comsec-group / cascade-artifacts

  View on GitHub
  Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
  ☆138Aug 30, 2024Updated last year
• compsec-snu / specdoctor

  View on GitHub
  ☆25Mar 1, 2023Updated 2 years ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• rzhang2285 / Coppelia

  View on GitHub
  Code repository for Coppelia tool
  ☆23Nov 12, 2020Updated 5 years ago
• viperproject / carbon

  View on GitHub
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆34Updated this week
• gilgamsh / GenshinCPU

  View on GitHub
  Our repository for NSCSCC
  ☆19Feb 22, 2025Updated 11 months ago
• ekiwi / rtl-fuzz-lab

  View on GitHub
  A Modular Open-Source Hardware Fuzzing Framework
  ☆36Dec 14, 2021Updated 4 years ago
• magicYang1573 / llm-hardware-test-generation

  View on GitHub
  ☆33Jul 1, 2024Updated last year
• CookedMelon / flowcode-vscode-drawio

  View on GitHub
  vscode-drawio增强版，提供代码跳转功能
  ☆10Feb 20, 2025Updated 11 months ago
• googleinterns / hw-fuzzing

  View on GitHub
  ☆88Jan 20, 2023Updated 3 years ago
• OpenXiangShan / tl-test-new

  View on GitHub
  The Unified TileLink Memory Subsystem Tester for XiangShan
  ☆12Jan 7, 2026Updated last month
• yonsei-sslab / asgard

  View on GitHub
  The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…
  ☆14Oct 16, 2025Updated 4 months ago
• chenhengwei1999 / ISSPA

  View on GitHub
  Intelligent Self-driving System empowering Physical Agents (ISSPA)
  ☆13Dec 23, 2024Updated last year
• opencca / opencca

  View on GitHub
  OpenCCA: An Open Framework to Enable Arm CCA Research
  ☆19Sep 10, 2025Updated 5 months ago
• compsec-snu / difuzz-rtl

  View on GitHub
  ☆102May 27, 2024Updated last year
• Halifuda / Xerxes

  View on GitHub
  A standalone CXL-enabled system simulator.
  ☆18Jan 10, 2026Updated last month
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Feb 6, 2026Updated last week
• RedBalloonShenanigans / bal-xilinx

  View on GitHub
  Abstraction layer for Xilinx FPGAs
  ☆15Aug 9, 2019Updated 6 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• Radon10043 / CIDFuzz

  View on GitHub
  A greybox fuzzer for continuous integration
  ☆10Dec 15, 2023Updated 2 years ago
• RICSecLab / RCABench

  View on GitHub
  ☆12Nov 14, 2023Updated 2 years ago
• hargoniX / Leanwuzla

  View on GitHub
  Connecting bv_decide to SMTLIB.
  ☆13Jan 5, 2026Updated last month
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• cispa / ShadowLoad

  View on GitHub
  ☆12Apr 1, 2025Updated 10 months ago
• AppThreat / cpggen

  View on GitHub
  Generate CPG for multiple languages for code and threat analysis
  ☆11Sep 22, 2023Updated 2 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆14Oct 14, 2025Updated 4 months ago
• mmxsrup / riscv-processor

  View on GitHub
  RV32I Single Cycle Processor (CPU)
  ☆12Nov 14, 2021Updated 4 years ago
• squaresLab / idioms

  View on GitHub
  ☆20Jan 30, 2026Updated 2 weeks ago
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• michael-emmi / ct-fuzz

  View on GitHub
  ☆11Oct 28, 2020Updated 5 years ago
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• samm-git / e3372h-vendor-src

  View on GitHub
  Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443
  ☆11Nov 3, 2015Updated 10 years ago
• luuhwy / VNEC

  View on GitHub
  VNEC: A Vectorized Non-Empty Column Format for SpMV on cross-platform multicore CPUs
  ☆10Feb 6, 2024Updated 2 years ago