efeslab/asplos22-hardware-debugging-artifact 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

efeslab/asplos22-hardware-debugging-artifact

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/efeslab/asplos22-hardware-debugging-artifact)

Close

efeslab / asplos22-hardware-debugging-artifactView on GitHubMore

• External links
• Readme badge

☆13Jun 12, 2024Updated last year

Alternatives and similar repositories for asplos22-hardware-debugging-artifact

Users that are interested in asplos22-hardware-debugging-artifact are comparing it to the libraries listed below

• batchenRothenberg / AllRepair

  View on GitHub
  ☆11Mar 8, 2021Updated 4 years ago
• efeslab / hardware-bugbase

  View on GitHub
  ☆20Jun 12, 2024Updated last year
• hammad-a / verilog_repair

  View on GitHub
  Automated Repair of Verilog Hardware Descriptions
  ☆35Jan 16, 2025Updated last year
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• cucapra / patronus

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

  View on GitHub
  ☆10Nov 25, 2019Updated 6 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• TruX-DTF / PatchParser

  View on GitHub
  A tool of collecting patch-related commits and parsing patches.
  ☆13Dec 2, 2018Updated 7 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• cure-lab / DeepGate2

  View on GitHub
  ☆15May 24, 2023Updated 2 years ago
• DehengYang / TransplantFix

  View on GitHub
  ☆14Feb 2, 2023Updated 3 years ago
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• PL-ML / metal

  View on GitHub
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Feb 18, 2019Updated 7 years ago
• petablox / popl2020-tutorial

  View on GitHub
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Jan 20, 2020Updated 6 years ago
• comsec-group / encarsia

  View on GitHub
  ☆28Mar 31, 2025Updated 11 months ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 6 months ago
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• kwz219 / NPR4J

  View on GitHub
  ☆19Nov 12, 2025Updated 3 months ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• Entropy-xcy / sns

  View on GitHub
  ☆20Oct 27, 2022Updated 3 years ago
• codinuum / cca

  View on GitHub
  Code Continuity Analysis Framework
  ☆23Mar 3, 2025Updated last year
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• amahzoon / genmul

  View on GitHub
  ☆19Dec 21, 2020Updated 5 years ago
• yuntongzhang / vulnfix

  View on GitHub
  Program Vulnerability Repair via Inductive Inference
  ☆20Dec 21, 2023Updated 2 years ago
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• ASSERT-KTH / RewardRepair

  View on GitHub
  Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123
  ☆25Dec 19, 2022Updated 3 years ago
• GaloisInc / LinearArbitrary-SeaHorn

  View on GitHub
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Mar 13, 2023Updated 2 years ago
• DehengYang / awesome-program-repair-tools

  View on GitHub
  ☆26Nov 2, 2025Updated 4 months ago
• tip-org / benchmarks

  View on GitHub
  Tons of Inductive Problems: The Benchmarks
  ☆27Jul 5, 2023Updated 2 years ago
• agurfinkel / btor2mlir

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

  View on GitHub
  A synthesis-enabled solver for relational logic
  ☆29Apr 30, 2018Updated 7 years ago
• AD1024 / veripy

  View on GitHub
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Apr 7, 2022Updated 3 years ago
• rzhang2285 / Coppelia

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

  View on GitHub
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Jun 8, 2020Updated 5 years ago
• ekiwi / rtl-repair

  View on GitHub
  Fast Symbolic Repair of Hardware Design Code
  ☆33Jan 20, 2025Updated last year