QUANTIFY is a collection of tools used for the analysis and optimisation of quantum circuits. QUANTIFY is based on Google Cirq. QUANTIFY includes:
- a library of arithmetic circuits
- Shor's algorithm as formulated in arXiv:1611.07995
- The T-count optimized integer multiplier from arXiv:1706.05113
- The quantum addition circuits from arXiv:0910.2530
- a library of Toffoli decompositions which probably covers all known Toffoli gate decompositions
- novel optimisation strategies compatible with surface code layouts
- circuit structure analysis tools
- bucket brigade QRAM circuits as used in
- an analysis of the scheduling of distillation procedures in surface
code layouts
ISVLSI QCW Presentation of QUANTIFY
Documentation, code and examples are WIP.
To create the VENV
bash construct_cirq_environment.sh
To use the .venv
source .venv/bin/activate
Examples are in the examples and tests folder.
To cite, please use
@INPROCEEDINGS{quantify2020,
author={O. {Oumarou} and A. {Paler} and R. {Basmadjian}},
booktitle={2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)},
title={QUANTIFY: A Framework for Resource Analysis and Design Verification of Quantum Circuits},
year={2020},
pages={126-131},}