Alternatives and similar repositories for LSV-PA:

Users that are interested in LSV-PA are comparing it to the libraries listed below

• NTU-LaDS-II / qATG
  An open-source quantum automatic test generator.
  ☆14Updated 7 months ago
• asfhiolNick / NTU_PhysicalDesign_201902
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆8Updated last year
• gmeuli / caterpillar
  ☆25Updated 4 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆14Updated 9 months ago
• msoeken / cirkit
  A circuit toolkit
  ☆100Updated 5 years ago
• lsils / mockturtle
  C++ logic network library
  ☆228Updated 6 months ago
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆19Updated 6 years ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆194Updated last year
• msoeken / kitty
  C++ truth table library
  ☆53Updated last year
• marcelwa / aigverse
  A Python library for working with logic networks, synthesis, and optimization.
  ☆12Updated this week
• lsils / percy
  C++ header-only exact synthesis library
  ☆17Updated 2 years ago
• lsils / benchmarks
  EPFL logic synthesis benchmarks
  ☆186Updated 8 months ago
• sanggido / OpenDP
  Open Source Detailed Placement engine
  ☆38Updated 5 years ago
• nbulsi / also
  A logic synthesis tool
  ☆73Updated 2 weeks ago
• NTU-ALComLab / SliQSim
  A BDD-based Quantum Circuit Simulator
  ☆19Updated 2 months ago
• mirkat1206 / Sequence-Pair-Floorplanner
  C++ implementation for Sequence Pair fixed-outline chip floorplanner
  ☆11Updated 2 years ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆15Updated last year
• ABKGroup / TritonRoute-WXL
  ☆29Updated 4 years ago
• luckyrantanplan / nthu-route
  VLSI EDA Global Router
  ☆72Updated 7 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆69Updated this week
• EricLu1218 / Physical_Design_Automation
  2019 NTHU CS6135 (CS613500) VLSI Physical Design Automation Course Projects (include Two-way Min-cut Partitioning, Fixed-outline Slicing …
  ☆34Updated 3 weeks ago
• SJTU-ECTL / ALSRAC
  ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set
  ☆19Updated 4 months ago
• cuhk-eda / Xplace
  Xplace 2.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability Optimization
  ☆119Updated 4 months ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆18Updated 8 years ago
• The-OpenROAD-Project / PDNSim
  Power grid analysis
  ☆19Updated 4 years ago
• cuhk-eda / cu-gr
  CUGR, VLSI Global Routing Tool Developed by CUHK
  ☆131Updated 2 years ago
• Daikon-Sun / Physical-Design-for-Nanometer-ICs
  Assignments of Physical Design for Nanometer ICs (Spring 2017, Prof. Yao-Wen Chang)
  ☆39Updated 6 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆25Updated 2 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• lsils / SCE-benchmarks
  Optimization results for superconducting electronic (SCE) circuits
  ☆13Updated last year