cda-tum Goto Github PK

.github

Community health files for the Chair for Design Automation

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

da_etcs

Design Automation Toolkit for the European Train Control System

dd_package

MQT decision diagram package tailored to quantum computing

fiction

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

logicblocks

A Interface Library for SAT/SMT Abstractions written in C++

mmft-droplet-simulator

mmft-fuel-cell

The source code for simulating microfluidic fuel cell (MFFC) performance.

mmft-iso-designer

The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.

mmft-modular-1d-simulator

mmft-ooc-designer

Design automation solution for organs-on-chip.

mmft-simulator

A library that contains a collection of simulators for closed channel-based microfluidic devices.

mnt-bench

MNT Bench - An MNT tool for Benchmarking FCN circuits

mnt-bestagon-library

Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. Walter, S. S. H. Ng, K. Walus, and R. Wille in DAC 2022.

mnt-nanoplacer

NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.

mnt-quicksim-results

Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille.

mnt-sidb-library

Silicon Dangling Bond Layouts

mnt-sidb-technology-demo

SiDB Simulation and Gate Design

mnt-siqad-plugins

Physical Simulation of Atomic Silicon Quantum Dot Assemblies.

mqt

The Munich Quantum Toolkit

mqt-bench

MQT Bench - A MQT tool for Benchmarking Quantum Software Tools

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit

mqt-dasqa

MQT DASQA - Designer for Superconducting Quantum Architectures

mqt-ddsim

MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

mqt-ddvis

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

mqt-ion-shuttler

MQT IonShuttler generate shuttling schedules for QCCD architectures

mqt-limdd

mqt-misim

MQT library to handle quantum circuits with mixed dimensions

mqt-planqk

Service provider for the MQT on the PlanQK platform

mqt-predictor

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