Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies, with primary focus on ReRAMs.
☆11May 15, 2020Updated 5 years ago
Alternatives and similar repositories for arche
Users that are interested in arche are comparing it to the libraries listed below
Sorting:
- SIMPLER MAGIC: Synthesis and In-memory MaPping of Logic Execution in a single Row for Memristor Aided loGIC☆12Dec 5, 2019Updated 6 years ago
- C++ header-only exact synthesis library☆17Jan 18, 2023Updated 3 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- AxLS: An Open-Source Framework for Netlist Transformation Approximate Logic Synthesis☆13Sep 14, 2025Updated 5 months ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- ☆13Dec 31, 2022Updated 3 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆31Jan 17, 2020Updated 6 years ago
- Problems and Results of IWLS 2023 Programming Contest☆16Apr 12, 2025Updated 10 months ago
- Logic synthesis system from UC Berkeley☆47Feb 26, 2025Updated last year
- MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…☆26Apr 9, 2025Updated 10 months ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆32Feb 8, 2026Updated 3 weeks ago
- ☆27Jun 25, 2024Updated last year
- IDEA project source files☆111Oct 15, 2025Updated 4 months ago
- Collection of digital hardware modules & projects (benchmarks)☆84Dec 5, 2025Updated 3 months ago
- Research paper based on or related to ABC.☆70Jan 19, 2026Updated last month
- ☆32Dec 2, 2023Updated 2 years ago
- Simple Python interface for ABC☆29May 19, 2023Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆41Jul 17, 2024Updated last year
- EPFL logic synthesis benchmarks☆231Nov 18, 2025Updated 3 months ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- A logic synthesis tool☆84Sep 8, 2025Updated 5 months ago
- A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Ve…☆41Dec 24, 2025Updated 2 months ago
- AIGER And-Inverter-Graph Library☆97Feb 17, 2026Updated 2 weeks ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 6 years ago
- Interaction Timeline☆12Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CheckUser/☆18Updated this week
- An implementation of a quantum neural network built using pyquil.☆11Jun 7, 2019Updated 6 years ago
- 用GIS分析土地公、釋迦牟尼、觀音菩薩、玄天上帝、媽祖及王爺/千歲的信仰熱區☆15Jan 6, 2023Updated 3 years ago
- A comprehensive, modular learning path for mastering UVM (Universal Verification Methodology) and pyuvm (Python UVM implementation) with …☆23Jan 25, 2026Updated last month
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆13Jun 7, 2025Updated 8 months ago
- This is the Google/EFabless/Skywater Caravel submission of an Analog Spiking Neuron Circuit. The submission also includes a SONOS transis…☆12Apr 21, 2023Updated 2 years ago
- The project includes SRAM In Memory Computing Accelerator with updates in design/circuits submitted previously in MPW7, by IITD researche…☆16Jan 6, 2023Updated 3 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago
- Source Code for 'PHP 8 Solutions' by David Powers☆13Oct 26, 2021Updated 4 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 10 years ago
- ☆12Apr 6, 2025Updated 10 months ago