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 5 months ago
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆18Updated 6 years ago
• gmeuli / caterpillar
  ☆24Updated 4 years ago
• msoeken / kitty
  C++ truth table library
  ☆51Updated 11 months ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆192Updated 10 months ago
• lsils / mockturtle
  C++ logic network library
  ☆222Updated 4 months ago
• msoeken / cirkit
  A circuit toolkit
  ☆97Updated 5 years ago
• ABKGroup / TritonRoute-WXL
  ☆28Updated 4 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆13Updated 7 months ago
• lsils / benchmarks
  EPFL logic synthesis benchmarks
  ☆178Updated 6 months ago
• luckyrantanplan / nthu-route
  VLSI EDA Global Router
  ☆71Updated 7 years ago
• limbo018 / Limbo
  Library for VLSI CAD Design Useful parsers and solvers' api are implemented.
  ☆150Updated 2 months ago
• twweeb / VLSI-Physical-Design-Automation
  Courseworks of CS6165 VLSI Physical Design Automation, NTHU.
  ☆41Updated 4 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• Chenghao-Yang / awesome-ml4ls
  Awesome machine learning for logic synthesis
  ☆25Updated 2 years ago
• sanggido / OpenDP
  Open Source Detailed Placement engine
  ☆36Updated 5 years ago
• lnis-uofu / ML-Mapper
  ☆10Updated 2 years ago
• lsils / SCE-benchmarks
  Optimization results for superconducting electronic (SCE) circuits
  ☆12Updated last year
• nbulsi / also
  A logic synthesis tool
  ☆72Updated 2 years ago
• RsynTeam / rsyn-x
  Rsyn – An Extensible Physical Synthesis Framework
  ☆123Updated 7 months ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆15Updated last year
• cuhk-eda / dr-cu
  Dr. CU, VLSI Detailed Routing Tool Developed by CUHK
  ☆132Updated last year
• cuhk-eda / cu-gr
  CUGR, VLSI Global Routing Tool Developed by CUHK
  ☆128Updated 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
• PKU-IDEA / OpenPARF
  🕹 OpenPARF: An Open-Source Placement and Routing Framework for Large-Scale Heterogeneous FPGAs with Deep Learning Toolkit
  ☆137Updated last week
• lsils / percy
  C++ header-only exact synthesis library
  ☆16Updated 2 years ago
• jacky860226 / nthu-route
  nthu-route 2.11
  ☆13Updated 5 years ago
• cuhk-eda / Xplace
  Xplace 2.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability Optimization
  ☆115Updated 2 months ago
• The-OpenROAD-Project / RePlAce
  RePlAce global placement tool
  ☆226Updated 4 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 8 months ago