Skip to content
@DVLab-NTU

Design Verification Lab

Popular repositories Loading

  1. qsyn qsyn Public

    A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits

    C++ 168 15

  2. gv gv Public

    C++ 5 1

  3. 112-1-qda-hw3-q-aware-k-lut 112-1-qda-hw3-q-aware-k-lut Public

    A almost-complete, minimum-viable implementation of the quantum-aware k-LUT mapping algorithm

    Python

  4. cadical cadical Public

    Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    C++

  5. abc abc Public

    Forked from berkeley-abc/abc

    ABC: System for Sequential Logic Synthesis and Formal Verification

    C

  6. qsyn-benchmark qsyn-benchmark Public

    OpenQASM

Repositories

Showing 8 of 8 repositories
  • qsyn Public

    A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits

    DVLab-NTU/qsyn’s past year of commit activity
    C++ 168 Apache-2.0 15 16 0 Updated Nov 10, 2024
  • gv-cmdline-template Public template Forked from DVLab-NTU/gv
    DVLab-NTU/gv-cmdline-template’s past year of commit activity
    C++ 0 1 0 0 Updated Nov 8, 2024
  • gv Public
    DVLab-NTU/gv’s past year of commit activity
    C++ 5 1 0 0 Updated Nov 8, 2024
  • pyzx Public Forked from zxcalc/pyzx

    Python library for quantum circuit rewriting and optimisation using the ZX-calculus

    DVLab-NTU/pyzx’s past year of commit activity
    OpenQASM 0 Apache-2.0 117 0 0 Updated May 27, 2024
  • qsyn-benchmark Public
    DVLab-NTU/qsyn-benchmark’s past year of commit activity
    OpenQASM 0 0 0 0 Updated May 5, 2024
  • abc Public Forked from berkeley-abc/abc

    ABC: System for Sequential Logic Synthesis and Formal Verification

    DVLab-NTU/abc’s past year of commit activity
    C 0 600 0 0 Updated Feb 23, 2024
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    DVLab-NTU/cadical’s past year of commit activity
    C++ 0 MIT 133 0 0 Updated Dec 25, 2023
  • 112-1-qda-hw3-q-aware-k-lut Public

    A almost-complete, minimum-viable implementation of the quantum-aware k-LUT mapping algorithm

    DVLab-NTU/112-1-qda-hw3-q-aware-k-lut’s past year of commit activity
    Python 0 CC0-1.0 0 0 1 Updated Dec 5, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…