NTU-ALComLab / LSV-PA

Related projects ⓘ

Alternatives and complementary repositories for LSV-PA

• NTU-LaDS-II / qATG
  An open-source quantum automatic test generator.
  ☆11Updated 2 months ago
• gmeuli / caterpillar
  ☆22Updated 4 years ago
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆18Updated 5 years ago
• lsils / mockturtle
  C++ logic network library
  ☆212Updated last month
• msoeken / cirkit
  A circuit toolkit
  ☆96Updated 4 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆11Updated 4 months ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆184Updated 7 months ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆65Updated this week
• msoeken / kitty
  C++ truth table library
  ☆51Updated 7 months ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆14Updated last year
• DVLab-NTU / qsyn
  A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
  ☆168Updated last week
• arminbiere / aiger
  AIGER And-Inverter-Graph Library
  ☆61Updated 5 months ago
• luckyrantanplan / nthu-route
  VLSI EDA Global Router
  ☆69Updated 6 years ago
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆10Updated last year
• twweeb / VLSI-Physical-Design-Automation
  Courseworks of CS6165 VLSI Physical Design Automation, NTHU.
  ☆42Updated 3 years ago
• hankshyu / ICLab-2023
  Spring 2023 NYCU (prev. NCTU) Integrated Circuit Design Laboratory (ICLab)
  ☆88Updated 2 months ago
• NTU-ALComLab / SliQEC
  A BDD-based Quantum Circuit Equivalence Checker
  ☆11Updated last year
• NTU-ALComLab / SliQSim
  A BDD-based Quantum Circuit Simulator
  ☆17Updated 7 months ago
• Yu-Maryland / MapTune
  MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…
  ☆15Updated last month
• lsils / benchmarks
  EPFL logic synthesis benchmarks
  ☆166Updated 2 months ago
• nbulsi / also
  A logic synthesis tool
  ☆68Updated 2 years ago
• asfhiolNick / NTU_CVSD_202201
  楊家驤老師的"電腦輔助積體電路系統設計"作業(CVSD)
  ☆27Updated last month
• cuhk-eda / Xplace
  Xplace 2.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability Optimization
  ☆99Updated 4 months ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 4 months ago
• Chenghao-Yang / awesome-ml4ls
  Awesome machine learning for logic synthesis
  ☆24Updated 2 years ago
• lnis-uofu / ML-Mapper
  ☆9Updated last year
• mirkat1206 / 2021_Spring_NCTU_ICLAB
  NCTU 2021 Spring Integrated Circuit Design Laboratory
  ☆168Updated last year
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• lsils / percy
  C++ header-only exact synthesis library
  ☆15Updated last year
• ByronHsu / AAG-Visualizer
  🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
  ☆103Updated 6 years ago