ekiwi/simulator-independent-coverage external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ekiwi/simulator-independent-coverage

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ekiwi/simulator-independent-coverage)

Close

ekiwi / simulator-independent-coverageView on GitHubMore

• External links
• Readme badge

Project Repo for the Simulator Independent Coverage Research

☆21Feb 28, 2023Updated 3 years ago

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 10 months ago
• comsec-group / encarsia

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

  View on GitHub
  ☆13Feb 14, 2026Updated 3 weeks ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Updated this 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)
  ☆139Aug 30, 2024Updated last year
• compsec-snu / specdoctor

  View on GitHub
  ☆25Mar 1, 2023Updated 3 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.
  ☆37Mar 1, 2026Updated last week
• gilgamsh / GenshinCPU

  View on GitHub
  Our repository for NSCSCC
  ☆19Feb 22, 2025Updated last year
• 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 last year
• googleinterns / hw-fuzzing

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

  View on GitHub
  The Unified TileLink Memory Subsystem Tester for XiangShan
  ☆12Jan 7, 2026Updated 2 months ago
• opencca / opencca

  View on GitHub
  OpenCCA: An Open Framework to Enable Arm CCA Research
  ☆21Sep 10, 2025Updated 5 months ago
• chenhengwei1999 / ISSPA

  View on GitHub
  Intelligent Self-driving System empowering Physical Agents (ISSPA)
  ☆13Dec 23, 2024Updated last year
• 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…
  ☆15Oct 16, 2025Updated 4 months ago
• compsec-snu / difuzz-rtl

  View on GitHub
  ☆102May 27, 2024Updated last year
• squaresLab / idioms

  View on GitHub
  ☆20Jan 30, 2026Updated last month
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• Veridise / vanguard-aleo

  View on GitHub
  Static analysis toolkit for security analysis in Aleo programs
  ☆10Mar 29, 2024Updated last year
• Radon10043 / CIDFuzz

  View on GitHub
  A greybox fuzzer for continuous integration
  ☆10Dec 15, 2023Updated 2 years ago
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 3 years ago
• michael-emmi / ct-fuzz

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

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆15Oct 14, 2025Updated 4 months 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
• XIAOLUHOU / SCA-measurements-and-analysis----Experimental-results-for-textbook

  View on GitHub
  ☆12Jan 13, 2025Updated last year
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• ahmed-agiza / vcd-parser

  View on GitHub
  VCD Parser for Node.js
  ☆11Jan 7, 2023Updated 3 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• 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
• hw-sw-contracts / leakage-model-testing

  View on GitHub
  ☆11Nov 27, 2024Updated last year
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Feb 24, 2026Updated last week
• Halifuda / Xerxes

  View on GitHub
  A standalone CXL-enabled system simulator.
  ☆19Jan 10, 2026Updated last month