Optimization results for superconducting electronic (SCE) circuits
☆18Dec 5, 2023Updated 2 years ago
Alternatives and similar repositories for SCE-benchmarks
Users that are interested in SCE-benchmarks are comparing it to the libraries listed below
Sorting:
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- EPFL logic synthesis benchmarks☆228Nov 18, 2025Updated 3 months ago
- C++ logic network library☆279Sep 30, 2025Updated 5 months ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆39Jun 28, 2024Updated last year
- Using e-graphs for logic synthesis (ICCAD'25)☆32Updated this week
- C++ header-only reasoning library☆16Jul 11, 2024Updated last year
- C++ header-only exact synthesis library☆17Jan 18, 2023Updated 3 years ago
- Niklas Een's ABC/ZZ framework☆24May 14, 2022Updated 3 years ago
- Problems and Results of IWLS 2022 Programming Contest☆21Apr 12, 2025Updated 10 months ago
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆26May 29, 2022Updated 3 years ago
- RevKit: Python quantum compilation library and framework☆31Apr 29, 2019Updated 6 years ago
- An advanced header-only exact synthesis library☆30Nov 24, 2022Updated 3 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆31Jan 17, 2020Updated 6 years ago
- Showcase examples for EPFL logic synthesis libraries☆202Apr 5, 2024Updated last year
- CAQE is a solver for quantified Boolean formulas☆39May 13, 2023Updated 2 years ago
- ☆41Oct 9, 2025Updated 4 months ago
- UVM components for DSP tasks (MODulation/DEModulation)☆14Mar 2, 2022Updated 3 years ago
- ☆10Sep 7, 2023Updated 2 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- Ease the Life of Verification Engineers by helping them to analyze and understand failing simulation faster☆11Oct 14, 2021Updated 4 years ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- A logic synthesis tool☆84Sep 8, 2025Updated 5 months ago
- This is a SpyDrNet Plugin for a physical design related transformations☆16Jun 13, 2025Updated 8 months ago
- Python implementation of a simple neural network, including AND, OR, and XOR demos.☆11Jun 13, 2019Updated 6 years ago
- Verilog-Based-NoC-Simulator☆10May 4, 2016Updated 9 years ago
- Source Code for 'PHP 8 Solutions' by David Powers☆13Oct 26, 2021Updated 4 years ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- ROACH2 hardware gerbers, layout and bom☆11May 31, 2013Updated 12 years ago
- Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies…☆11May 15, 2020Updated 5 years ago
- FDTD 3D simulator that generates s-parameters from OFF geometry files using one or more GPUs☆15Jan 16, 2023Updated 3 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 6 years ago
- repo for CIS 371 Spring 2018☆15Apr 14, 2018Updated 7 years ago
- Example project for the BRS-100-GW1NR9 FPGA development board.☆14Feb 14, 2026Updated 2 weeks ago
- Interaction Timeline☆12Feb 16, 2026Updated last week
- GPU-based logic synthesis tool☆97Nov 27, 2025Updated 3 months ago
- A server for handling chat rooms and messaging groups written in rust.☆10Aug 26, 2022Updated 3 years ago
- LogicNG for Rust☆11Jan 20, 2026Updated last month
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CheckUser/☆18Updated this week
- Top level for the November shuttle☆12Nov 20, 2021Updated 4 years ago