ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and data faults in RAM, flash, and processor registers.
☆36Mar 13, 2026Updated 7 months ago
Alternatives and similar repositories for archie
Users that are interested in archie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- ☆15Jul 9, 2026Updated 3 months ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- ☆16Jul 1, 2025Updated last year
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated last month
- Privilege Escalation via a Page Use-After-Free in Qualcomm's AI Accelerator Linux Kernel Driver☆15May 22, 2026Updated 5 months ago
- TAIDL: Tensor Accelerator ISA Definition Language☆25Oct 20, 2026Updated last week
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Automatic Software-based Protection and Integrity Suite☆27Sep 29, 2026Updated last month
- ☆17Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- ☆41Nov 30, 2024Updated last year
- ☆20Oct 3, 2021Updated 5 years ago
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- ☆17Oct 13, 2026Updated 2 weeks ago
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- ☆13Updated this week
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation -- ASPLOS'26☆18Mar 31, 2026Updated 6 months ago
- ☆12Oct 23, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Synthesize Verilog to Minecraft redstone☆23Nov 9, 2024Updated last year
- vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/C…☆20Mar 28, 2026Updated 7 months ago
- ☆18Aug 25, 2022Updated 4 years ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- ☆17Mar 7, 2023Updated 3 years ago
- A numpy like array programming language optimized with BuildIt☆14Oct 17, 2025Updated last year