A tool for cross-checking Verilog compilers
☆15Apr 16, 2025Updated last year
Alternatives and similar repositories for VeriXmith
Users that are interested in VeriXmith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rocq framework to define the semantics of CPU architectures☆40Updated this week
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- TAIDL: Tensor Accelerator ISA Definition Language☆25Oct 20, 2026Updated 2 weeks ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated 2 months ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- ☆18Jul 12, 2024Updated 2 years ago
- ☆14Aug 17, 2026Updated 2 months ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- ☆17Jul 6, 2026Updated 3 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- ☆12Sep 19, 2026Updated last month
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆26Jul 26, 2025Updated last year
- RTLMeter benchmark suite☆34Oct 26, 2026Updated last week
- ☆16Mar 17, 2026Updated 7 months ago
- ☆13Oct 25, 2026Updated last week
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Top-level repository of ACT Ecosystem☆36Oct 20, 2026Updated 2 weeks ago
- ☆25Jun 30, 2026Updated 4 months ago
- The Java Native Instrumentation Framework, JNIF, is the first native Java bytecode rewriting library. JNIF is a C++ library for decoding,…☆12Feb 11, 2023Updated 3 years ago
- A Python-based HDL and framework for silicon-based witchcraft☆43Sep 12, 2026Updated last month
- Accelerating core decomposition in billion-scale hypergraphs☆11Mar 3, 2025Updated last year
- Artifacts for "vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures", ASPLOS'26☆13Dec 22, 2025Updated 10 months ago
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆12Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🧩 Starter template for ASIC hardware IP blocks with Vyges metadata, OpenLane integration, and comprehensive documentation☆13Apr 30, 2026Updated 6 months ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆22Jan 17, 2026Updated 9 months ago
- Accelerator for MatmulFree LLM algorithm☆14Oct 22, 2026Updated last week
- Poise source code repo☆12Aug 12, 2020Updated 6 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆24Mar 26, 2025Updated last year
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year