Chair for Design Automation, TU Munich

Results 13 repositories owned by Chair for Design Automation, TU Munich

zx

16
Stars
1
Forks
Watchers

MQT ZX - A library for working with ZX-diagrams

mqt-qusat

17
Stars
0
Forks
Watchers

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

mnt-bestagon-library

15
Stars
0
Forks
Watchers

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.