Efficient resubstitution-based approximate logic synthesis
☆12Aug 11, 2026Updated 2 months ago
Alternatives and similar repositories for ResubALS
Users that are interested in ResubALS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆22Dec 23, 2024Updated last year
- VECBEE: A Versatile Efficiency-Accuracy Configurable Batch Error Estimation Method for Greedy Approximate Logic Synthesis☆13Mar 8, 2022Updated 4 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆33Nov 13, 2023Updated 2 years ago
- ABACUS is a tool for approximate logic synthesis☆14Jul 13, 2020Updated 6 years ago
- Benchmarks for Approximate Circuit Synthesis☆17Aug 2, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆16Aug 4, 2026Updated 2 months ago
- Official Implementation of "Circuit Transformer: A Transformer That Preserves Logical Equivalence"☆29Mar 13, 2025Updated last year
- MAxPy: A Framework for Bridging Approximate Computing Circuits to its Applications☆11Jul 31, 2024Updated 2 years ago
- IDEA project source files☆115Apr 15, 2026Updated 6 months ago
- ☆11Feb 14, 2020Updated 6 years ago
- ☆24May 14, 2025Updated last year
- [ICLR 2025 Spotlight] LayerDAG: A Layerwise Autoregressive Diffusion Model of Directed Acyclic Graphs☆30Jan 26, 2025Updated last year
- A Boolean circuit minimizer☆18Sep 14, 2026Updated last month
- Simple VHDL examples using ghdl as compiler and wave generating☆11Jun 21, 2022Updated 4 years 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.
- Pathfinder routing algorithm practice☆16May 2, 2017Updated 9 years ago
- An experiment in using DuckDB for a datalog / egg☆26Oct 11, 2023Updated 3 years ago
- C++ header-only ESOP library☆16May 18, 2024Updated 2 years ago
- Mobile IDE for Android & iOS with SSH, code editor, terminal, Git, AI coding agents, and local Linux development.☆16Updated this week
- This is an implemention of Lee-Moore's Shortest Path Maze Router with multi-sink nets support.☆13Feb 2, 2016Updated 10 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆46Jul 17, 2024Updated 2 years ago
- ☆23Updated this week
- AIGER And-Inverter-Graph Library☆107Feb 17, 2026Updated 8 months ago
- Python Dataflow Programming Library☆16Dec 13, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆48Sep 16, 2026Updated last month
- AxLS: An Open-Source Framework for Netlist Transformation Approximate Logic Synthesis☆14Sep 14, 2025Updated last year
- We will create muilti-remote with rdp-wrap for windows 10☆15Jul 14, 2020Updated 6 years ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Jun 4, 2019Updated 7 years ago
- symmetric clock tree synthesis for NTV IC design☆11May 8, 2022Updated 4 years ago
- ☆18Aug 9, 2025Updated last year
- Awesome machine learning for logic synthesis☆30Sep 21, 2022Updated 4 years ago
- Make video to oscilloscope graphic☆11Jun 10, 2019Updated 7 years ago
- Official implementation of NeurIPS'24 Spotlight paper "Monte Carlo Tree Search based Space Transfer for Black-box Optimization".☆13Nov 28, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆34Oct 2, 2023Updated 3 years ago
- code for statistical learning☆14Aug 29, 2020Updated 6 years ago
- gHyPart: GPU-friendly End-to-End Hypergraph Partitioner☆12Feb 6, 2025Updated last year
- ☆13Oct 13, 2025Updated last year
- A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Ve…☆48Apr 10, 2026Updated 6 months ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆30Jan 7, 2026Updated 9 months ago
- A logic synthesis tool☆91Aug 8, 2026Updated 2 months ago