Skip to content
@cda-tum

Chair for Design Automation, TU Munich

The CDA provides expertise for all main steps in the design and realization of integrated circuits, embedded systems, as well as cyber-physical systems.

Pinned Loading

  1. fiction fiction Public

    An open-source design automation framework for Field-coupled Nanotechnologies

    C++ 69 26

Repositories

Showing 10 of 50 repositories
  • mqt-qubomaker Public

    A framework for the automatic generation of QUBO formulations for optimization problems.

    cda-tum/mqt-qubomaker’s past year of commit activity
    Python 23 MIT 2 2 3 Updated May 19, 2025
  • mnt-opdom-explorer Public

    Explore Operational Domains of SiDB logic gates

    cda-tum/mnt-opdom-explorer’s past year of commit activity
    Python 8 0 16 12 Updated May 19, 2025
  • mqt-qecc Public

    MQT QECC - Tools for Quantum Error Correcting Codes

    cda-tum/mqt-qecc’s past year of commit activity
    Python 137 MIT 18 3 5 Updated May 19, 2025
  • fiction Public

    An open-source design automation framework for Field-coupled Nanotechnologies

    cda-tum/fiction’s past year of commit activity
    C++ 69 MIT 26 2 10 Updated May 19, 2025
  • setup-z3 Public

    Set up a specific version of the Z3 theorem prover

    cda-tum/setup-z3’s past year of commit activity
    TypeScript 13 MIT 3 0 0 Updated May 19, 2025
  • mnt-siqad-plugins Public

    Physical Simulation Engines for Silicon Dangling Bonds

    cda-tum/mnt-siqad-plugins’s past year of commit activity
    C++ 15 MIT 0 1 0 Updated May 19, 2025
  • mqt-yaqs Public

    YAQS: A Tool for Simulating Open Quantum Systems, Noisy Quantum Circuits, and Realistic Quantum Hardware

    cda-tum/mqt-yaqs’s past year of commit activity
    Python 14 MIT 4 11 (1 issue needs help) 0 Updated May 19, 2025
  • mqt-predictor Public

    MQT Predictor - A MQT Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

    cda-tum/mqt-predictor’s past year of commit activity
    Python 66 MIT 15 16 (2 issues need help) 8 Updated May 18, 2025
  • mnt-bench Public

    MNT Bench - An MNT tool for Benchmarking FCN circuits

    cda-tum/mnt-bench’s past year of commit activity
    HTML 11 MIT 0 0 0 Updated May 16, 2025
  • mqt-problemsolver Public

    MQT ProblemSolver - A MQT Tool for Solving Problems Using Quantum Computing

    cda-tum/mqt-problemsolver’s past year of commit activity
    Python 45 4 1 1 Updated May 15, 2025