☆24Feb 11, 2021Updated 5 years ago
Alternatives and similar repositories for chisel-formal
Users that are interested in chisel-formal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Feb 6, 2021Updated 5 years ago
- Wishbone plumbing written in Chisel3☆10Dec 19, 2024Updated last year
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- ☆15Jun 18, 2023Updated 3 years ago
- ☆10Oct 15, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆18Jul 12, 2024Updated 2 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- ILAng documentation☆12Nov 2, 2025Updated last year
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated 2 years ago
- ☆10May 21, 2021Updated 5 years ago
- ☆16Sep 14, 2020Updated 6 years ago
- ☆20Mar 1, 2021Updated 5 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- 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.
- ☆18Nov 9, 2022Updated 3 years ago
- ☆15Dec 6, 2023Updated 2 years ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontroller…☆11Jul 21, 2020Updated 6 years ago
- ☆11Nov 19, 2015Updated 10 years ago
- ☆22Dec 29, 2014Updated 11 years ago
- A generic parser and tool package for the BTOR2 format.☆50Oct 21, 2026Updated last week
- ☆13Jan 20, 2023Updated 3 years ago
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- CoreIR Symbolic Analyzer☆75Oct 27, 2020Updated 6 years ago
- A dynamic verification library for Chisel.☆163Nov 9, 2024Updated last year
- Equivalence checking with Yosys☆67Updated this week
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- ☆18Sep 2, 2020Updated 6 years ago
- Pono: A flexible and extensible SMT-based model checker☆135Updated this week
- A caravan equipped with API for creating bus protocols in Chisel with ease.☆14Jan 15, 2026Updated 9 months ago
- MIDAS Public Release☆11Nov 27, 2018Updated 7 years ago
- The batteries-included testing and formal verification library for Chisel-based RTL designs.☆234Aug 19, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆33Jun 23, 2025Updated last year
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- ILA Model Database☆26Sep 27, 2020Updated 6 years ago
- IPXACT packaging utilities for Chisel 3.x using Xilinx Vivado Design Suite.☆12Dec 5, 2018Updated 7 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- ☆11Feb 14, 2020Updated 6 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆32Dec 23, 2025Updated 10 months ago